OpenAI 2,7 миллион хабарлама және 130 миллиард токен шығарды: Навье-Стокс мәселесінің ықтимал шешімін математиктер зерттеп жатыр

Елестетіңіз мыңдаған жасанды нысандар сексен сегіз сағат бойы бірлесіп жұмыс істейді, зерттеушілер спагетти пішінімен салыстырған өте жұқа бағанға дейін жылдамырақ айналатын тастар құйынын тудырады.

Біз ғылыми-фантастикалық романның сюжетімен емес, 2026 жылдың 8 қыркүйегінде Калифорния компаниясының ұсынғанымен бетпе-бет келіп отырмыз. Навье-Стокс теңдеулерінің бар болуы және тұрақтылығы мәселесінің ықтимал шешімі.

Бұл туралы әлі күнге дейін шешілмеген ең күрделі математикалық сұрақтардың бірі, 2000 жылы Клэй математика институтымен Мыңжылдық сыйлығының жеті есебінің қатарына енгізілген.

Оқиғаның тарихи маңызына қарамастан, Нәтиже мұқият қарастыруды қажет етеді және әйгілі миллион долларлық сыйлықты автоматты түрде берумен ешқандай тең келмейді..

Clay математика институтының қатаң ережелері шешімнің білікті журналда жариялануын талап етеді және халықаралық қауымдастық оны қарастырып, қабылдай алуы үшін кем дегенде екі жыл өтуі керек.

Осыған байланысты, OpenAI өзі экономикалық мойындауды талап еткісі келмейтінін түсіндіріп, назарын аударды машинаның бұл жетістікке қалай жеткені және болашақ ғылым үшін әсерлі салдары.

Стакан суда жасырылған математикалық жұмбақ

Навье-Стокс теңдеулері ХІХ ғасырда Клод-Луи Навье мен Джордж Габриэль Стокстың зерттеулерінен туындады. сұйықтықтардың мінез-құлқын сипаттау өзендердегі су, мұхит ағындары, тамырларымыздағы қан немесе ұшақ қанаттарының айналасындағы ауа сияқты.

Сұйықтықты үздіксіз орта ретінде қарастыра отырып, бұл формулалар кеңістіктегі әрбір нүктедегі жылдамдық пен қысым сияқты негізгі шамаларды сипаттайды, математиктерге ... қарапайым болып көрінгенімен, өте құпия сұрақ.

Сұрақ үш өлшемді сұйықтық, мінсіз тұрақтылық күйінен бастап, әрқашан осы шартты сақтай ма, әлде теңдеулердің өзі оған жетелей ала ма деген сұрақты қояды. «сингулярлық» немесе жарылыс, яғни жылдамдық шектеусіз артатын жағдай.

Бұл шекке жету нақты сұйықтықтың шексіз жылдамдықпен қозғала алатынын білдірмейді, керісінше математикалық модель физикалық тұрғыдан мүмкін емес жағдайға дейін баруы мүмкін, теорияның өзінің ішкі шектеулілігін атап көрсетеді.

OpenAI жариялаған құжатта әрбір оң тұтқырлық үшін нөлдік жылдамдықтан басталып, шекті уақыт ішінде шексіз жылдамдықты дамытатын үш өлшемді шешім тегіс және тұрақты сыртқы күштің әсерінен, сонымен бірге жалпы кинетикалық энергияның шектеулі мөлшерін сақтай отырып.

Бұл нақты және күрделі құрылым Клей математика институтының президенті Мартин Бридсонның ынтасын оятты, ол атап өтті адамзаттың математиканы түсінуіндегі жетістіктерінің маңыздылығы Nature журналына жарияланған мәлімдемеде.

«Спагетти» құйыны және тұрақты күштің сынағы

Ұсынылған шешімді түсіну үшін айнала бастайтын, орталыққа қарай біртіндеп сүйрелене отырып, тік ось бойымен параллель қозғалатын сұйықтықтың бір бөлігін елестетіп көріңіз.

Сұйықтық сығылмайтындықтан, кіретін зат осьтің жанында жинала алмайды, бірақ оның бойымен тоқтаусыз итеріледі, бұл ... құйынның өзегі сингулярлық сәтіне жақындаған сайын тығыздала түседі және жылдамдай түседі.

Осы кезде интуитивті емес сияқты құбылыс пайда болады, онда Шектен тыс жылдамдық күштер шекті жалпы энергияны сақтай отырып, ауытқитындай кішкентай аймақта пайда болады..

Дәлелдеу арқылы шешілетін нақты қиындық шексіз сыртқы күшті қолданудың қысқа жолынан аулақ болуда жатыр, Мыңжылдық мәселесінің талаптарымен тыйым салынған, математикалық тұрғыдан тұрақты және патологиялық емес күш салуды талап ететін жағдай.

Жасанды интеллект жасаған модельде теңдеулердің әртүрлі мүшелері, мысалы, үдеу, қысым және тұтқырлық олар миллиметрлік дәлдікпен өтейді.

деп аталатын шағын тербелмелі бұзылулар жүйесі импульс Ол құйынның қозғалысын импульсті тасымалдау және теңгерімсіздікті теңестіру үшін пайдаланады, спагеттидің қарапайым метафорасының артына жасырынады. ең жоғары инженерлік тұжырымдамалық машина.

Жасанды интеллекттің нақты ұйымдастырылуы

Қол жеткізілген меже айқын көрінеді жасанды интеллекттің ғылыми зерттеулерге қолданылу әлеуеті, алдын ала анықталған жауап беруді сұрайтын чатботты пайдаланудан бас тарту.

OpenAI өзінің модельдерінің озық, эксперименталды нұсқасын, тіпті жақында шыққан «GPT-6 Astra» нұсқасынан да жоғарырақ нұсқасын орналастырды, оны... он мың үйлестірілген агенттерден тұратын экожүйе код жаза алады, сақталған вебті қарай алады және іштей байланыса алады. Әртүрлі тапсырмаларды қатар тағайындау арқылы жүйе бір мезгілде зерттеді шешімдердің тұрақтылығы және сингулярлықтың қарама-қарсы гипотезасы.

Бұл тәсіл Codex құралы арқылы перспективалы түсініктерді бірден бөлісуге мүмкіндік берді, шешімді небәрі 88 сағат ішінде табу және келесі 17 сағатты Lean-де механикалық формализацияға арнау, Quanta журналындағы Себастьен Бубектің есептеу шығындарын миллиондаған доллар деп бағалаған.

Алыптардың иығында тұру және болашақтың қиындықтары

Жасанды интеллект адамзат тоқсан жыл бойы іздеп келген мәселені бірнеше күнде шешті деп мәлімдеу... ғылыми тұрғыдан жаңылыстыратын және тек сенсация тудыруға бағытталған.

Есептеу сағаттары бұрынғы математиканың орасан зор жұмысына негізделген, Диего Кордоба мен Луис Мартинес-Зороа сияқты зерттеушілердің зерттеулерінен алынған, оларды Принстон университетінің Чарльз Фефферман әңгіменің шынайы кейіпкерлері деп анықтаған... ерекшеліктерді құру үшін қажетті инновациялық аналитикалық әдістер.

Нағыз сыну нүктесі мынада жатыр жасанды интеллекттің өнеркәсіптік ауқымда адам мүмкіндіктерінің осы үлкен кеңістігін зерттеу және қайта біріктіру мүмкіндігі, тезистерді дәлелді галлюцинация қаупін азайту үшін Lean жүйесі ұсынатын қатаң логикалық тексерумен қолдау.

Бұл эксперимент ғылыми-зерттеу зертханасы ұғымын терең қайта анықтайды, жай ғана жауап беру құралы ретінде жасалған жасанды интеллекттен ...-қа ауысуды белгілейді нақты ғылыми зерттеу жүйесі.

Егер бұл индустриалды парадигма биологияға, химияға немесе материалдарды жобалауға қолданылса, жаһандық бәсекелестік бір ғана модельдің күшімен емес, жасанды агенттердің легиондарын ұйымдастыру мүмкіндігімен өлшенетін еді..

Мұндай жағдай шұғыл түрде ойлануды талап етеді есептеу ресурстарының шоғырлануы және ғылымды болашақта басқарумиллиондаған виртуалды нысандар бір уақытта біздің ғаламның ең үлкен құпияларын зерттей алатын кезде ашылуларды экономикалық бақылауда кім ұстайтыны туралы күрделі сұрақтар туғызады.

Міне, сізді қызықтыруы мүмкін үш түсінік:

GPT-5, жаһандық ойын ережелерін өзгертетін AI
EPFL AI миды ашық ойлауға шабыттандырады
AiiDAlab ғылыми жұмыс ағындарын браузерлерге енгізеді