OpenAI imechapisha suluhu inayodaiwa kwa tatizo la kuwepo kwa Navier-Stokes na ulaini, mojawapo ya Matatizo saba ya Tuzo ya Milenia yaliyotajwa na Taasisi ya Hisabati ya Clay mwaka wa 2000. Kampuni hiyo inasema mfumo wa ndani wa AI, unaoelezewa kuwa na uwezo mkubwa zaidi kuliko GPT-6 Astra, ulitoa uthibitisho wa uchanganuzi na uthibitishaji rasmi katika uthibitisho wa Lean ambao ulichagua wasaidizi wao wa karibu wa kitaaluma ambao walitoa wasaidizi wao wa karibu wa kitaaluma. kutangaza matokeo. Ndani ya masaa machache, hadithi ikawa juu ya mkopo kama vile hesabu.
Kile mfano ulithibitisha For more context on this story, see our ongoing breaking AI news.
Milinganyo ya Navier-Stokes, ambayo ilikua kutokana na kazi ya karne ya kumi na tisa na Claude-Louis Navier na George Gabriel Stokes, inaelezea jinsi maji maji yanavyosonga kwa kutumia sheria ya pili ya Newton ya mwendo. Wanasisitiza muundo wa ndege, utabiri wa hali ya hewa na uchunguzi wa mtiririko wa damu. Kwa kuwa Jean Leray alithibitisha mnamo 1934 kuwa suluhu zipo kwa maana ya jumla, wanahisabati hawajajua kama mtiririko laini wa pande tatu usioshikika unaweza kuharibika - ikiwa kasi ya maji inaweza kukua bila kufungwa ndani ya muda mfupi, na kuunda kile wanahisabati huita umoja.
Chapisho la OpenAI linasema kuwa mfumo wake ulithibitisha kuwa giligili nyororo wakati wa kupumzika inaweza kukuza umoja kama huo kwa muda mfupi wakati nguvu laini ya nje inatumika, na nishati ya giligili inabaki kuwa na kikomo kote. Kwa mujibu wa kampuni, hii itaanzisha taarifa "C" na "D" ya uundaji rasmi wa Taasisi ya Hisabati ya Clay ya tatizo. Thibitisho hujikita kwenye vortex - mzunguko unaozunguka unaozunguka ndani na kurefusha, katika maelezo ya OpenAI, "kama tambi," ikipungua na kwenda kasi kwa njia ambayo huweka nishati kwa mipaka hata kasi inapokua bila kufungwa.
Mfumo wenye uwezo zaidi kuliko Astra
OpenAI inasema kazi hiyo ilifanywa na modeli ya ndani ambayo imekuwa katika mafunzo tangu Agosti 28 na "ina uwezo mkubwa zaidi kuliko GPT-6 Astra," mfano wa mpaka ambao kampuni ilizindua kuchagua wateja mapema msimu huu wa joto. Mafunzo ya mwanamitindo huyo, kampuni hiyo inasema, yanaendelea na utendakazi wake unaendelea kuimarika.
Ndani ya kukimbia kwa wakala 10,000
Juhudi zilianza Septemba 1, wakati OpenAI inasema ilisikia uvumi kwamba matatizo mawili ya Tuzo ya Milenia yalikuwa yametatuliwa. Kampuni ilizindua kampeni ya tathmini katika matatizo yote ya wazi ya Tuzo ya Milenia kwa kutumia mfumo wa mawakala wa kuratibu wenye ufikiaji wa nakala iliyohifadhiwa ya mtandao na zana za utekelezaji wa kanuni. Mawakala waligawanywa katika vikundi vya mawasiliano; kundi ambalo lilitoa azimio la Navier-Stokes lilihusisha takriban mawakala 10,000 wa wakati mmoja, kulingana na OpenAI.
Makundi tofauti yalipokea lahaja tofauti za kila tatizo - matoleo "A" na "B," ambayo yangetoa uthibitisho wa ulaini, na matoleo "C" na "D," ambayo yangetoa kipingamizi, yaliwekwa kwa vikundi tofauti. Njiani, mawakala walitatua swali linalohusiana na OpenAI lilikuwa limeainisha kuwa rahisi zaidi: tatizo la ukawaida la milinganyo ya Euler katika hali isiyolazimishwa, ambapo hakuna nguvu ya nje inayoathiri giligili. Takriban mawakala 100 walifanya kazi kwa takriban saa 50 kwenye matokeo hayo.
Baada ya azimio la Euler, OpenAI ilihamisha mawakala kutoka kwa matatizo mengine ya Milenia hadi Navier-Stokes. Kampuni hiyo inasema mawakala walifikia azimio lao Jumamosi, Septemba 5 - karibu saa 88 baada ya kuzinduliwa - na kwamba urasimishaji na uthibitishaji wa Lean ulichukua saa 17 za ziada kwa kutumia GPT-6 Astra. Katika matatizo yote yaliyojaribiwa, OpenAI inasema mawakala walibadilishana ujumbe milioni 4.9 na kutumia takriban tokeni bilioni 300 za matokeo; juhudi za Navier-Stokes pekee zilichangia ujumbe milioni 2.7 na takriban tokeni bilioni 130 za matokeo.
Wanahisabati waliochapisha kwanza
Tangazo lilitua siku ileile ambayo Tristan Buckmaster, profesa wa hisabati katika Taasisi ya Courant ya NYU, na Levent Alpoge walitangaza hadharani matokeo yao matatu: upeperushaji wa muda wa mwisho kwa kulazimisha mlingano wa vyombo vya habari vya siri, milinganyo ya Boussinesq, na milinganyo ya pande tatu isiyoweza kushinikizwa. Buckmaster anaandika kwamba wawili hao pia wanaamini kuwa wana mlipuko wa Navier-Stokes asiye na moyo, ingawa uthibitishaji mdogo wa matokeo hayo bado haujakamilika.
Katika taarifa ya umma, Buckmaster ni mwangalifu kuhusu mkopo. Mpango wa utafiti, anaandika, haukuanzishwa na yeye na Alpoge wala haukupendekezwa na mtindo mkubwa wa lugha - wazo la msingi ni la Diego Cordoba na Luis Martinez-Zoroa, ambao walitumia miaka kujenga milipuko ya kulazimishwa. Buckmaster anahoji kwamba mchango wa Martinez-Zoroa ni mkubwa vya kutosha kustahili Medali ya Fields. Yeye na Alpoge kisha walitumia miundo mikubwa ya lugha - Claude ya Anthropic, Kodeksi ya OpenAI inayoendesha GPT-5.6 Sol, na hivi majuzi Astra kwa uandishi na ukaguzi - kusukuma programu hiyo kwa kulazimisha laini na kwa Euler. Mafanikio yao yalikuja mnamo Agosti 15, na uthibitisho wa kwanza uliotolewa na LLM kuthibitishwa katika Lean mnamo Agosti 22, Buckmaster anasema.
Buckmaster pia aliomba msamaha kwa ubora wa uwasilishaji wa karatasi, akiandika kwamba "maandishi ya Euler, haswa, yanaweza tu kuelezewa kama mteremko wa AI."
Utata wa mikopo
Chapisho la OpenAI linashughulikia mwingiliano moja kwa moja. Kampuni hiyo inasema juhudi zake zilianza Septemba 1 baada ya uvumi kwamba "baadaye iligundua kuwa inahusiana na" Alpoge - aliyeelezewa kama mfanyakazi wa Anthropic - na Buckmaster. Baada ya kukamilisha mradi wake na uthibitishaji wa Lean mnamo Septemba 6, OpenAI inasema iliwasiliana na jozi hao ili kutoa toleo la wakati mmoja na kutambua kipaumbele chao katika tangazo la pamoja, ambapo iligundua kuwa walikuwa wamesuluhisha shida ya Euler iliyolazimishwa.
Kampuni inakanusha kuona kazi zao zozote kabla ya kutolewa kwa umma, ikisema kuwa "hakuna data mahususi ya mtumiaji iliyofikiwa ili kutatua tatizo hili." Lakini OpenAI inakubali idhaa ya hila: "Ingawa haiwezekani, hatuwezi kukataa kuwa data isiyotambuliwa inayotokana na matumizi yao ya bidhaa zetu ilisaidia kuboresha miundo yetu." Inabainisha kuwa uthibitisho unatofautiana kwa kiasi kikubwa na kwamba matokeo ya Euler ni tofauti - kulazimishwa dhidi ya kutolazimishwa.
Chanjo imeelekezwa. WIRED iliripoti kwamba "baadhi ya wasomi wanalia vibaya," na Axios alielezea "suluhisho la kihistoria la hesabu la OpenAI lililogubikwa na utata wa mikopo." Mvutano wa kimsingi: Ratiba ya matukio ya OpenAI inaonyesha ilizindua juhudi zake baada tu ya kusikia kwamba wanahisabati walikuwa wakikaribia kutangaza maazimio, kisha ikachapisha matokeo ya kukokotoa zaidi siku saba baadaye.
Hakuna zawadi inayodaiwa — kwa sasa
OpenAI inasema wazi kwamba haikusudii kudai Tuzo ya Milenia kwa matokeo. Utambuzi wowote rasmi utategemea Taasisi ya Hisabati ya Udongo na uchunguzi wa jumuiya ya hisabati, ambayo sasa itachambua uthibitisho wa OpenAI na karatasi za Buckmaster-Alpoge. Hasa, matokeo ya wanahisabati yanaacha kufupisha uundaji wa Milenia - milipuko yao iliyochapishwa inashughulikia milinganyo inayohusiana, na kazi yao ya Navier-Stokes yenye kutoweka kabisa bado inangoja uthibitishaji rasmi.
Vyovyote vile, kipindi kinaashiria sura mpya ya hisabati iliyoharakishwa na AI. Terence Tao, miongoni mwa wanahisabati waliofuatwa zaidi wanaofanya kazi na zana za AI, alijadili hadharani matokeo shindani ya Mastodon ndani ya saa chache. Timu mbili zinazojitegemea - moja ya kitaaluma, moja ya shirika - zilitumia modeli kubwa za lugha kama washirika wanaoshughulikia shida za karne nyingi, zilizochapishwa ndani ya siku moja baada ya nyingine, na mara moja kubishana juu ya nani aliyefika wa kwanza. Hisabati itaangaliwa katika Lean. Mikopo itabishaniwa kila mahali pengine.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
