OpenAI toħloq singularità f’Navier–Stokes

L-ekwazzjonijiet ta’ Navier–Stokes jiddeskrivu kif jiċċaqalqu l-fluwidi: kull kurrent fl-oċean, kull daħna rqiqa u kull nixxiegħa minn pajp tal-ġnien. Il-kwistjoni dwar jekk is-soluzzjonijiet tagħhom fi tliet dimensjonijiet jibqgħux dejjem lixxi u finiti, jew jekk xi drabi jistgħux jisplodu f’assurdità matematika, hija waħda mis-seba’ Problemi tal-Premju tal-Millenju proposti mill-Clay Mathematics Institute. Fit-8 ta’ Settembru, OpenAI ħarġet manuskritt ta’ 166 paġna u prova formali li tista’ tiġi vverifikata minn magna, filwaqt li sostniet li solviet il-problema. Tlett ijiem wara, Clay wieġeb li l-problema “jidher li ġiet solvuta”, formulazzjoni pożittiva b’mod impressjonanti iżda espliċitament proviżorja.

L-istqarrija hija aktar speċifika milli tissuġġerixxi l-biċċa l-kbira tar-rappurtar. Ir-riżultat ta’ OpenAI jikkonċerna fluwidi soġġetti għal forza esterna: każijiet li fihom spinta esterna lixxa, iddisinjata bir-reqqa, tmexxi fluwidu li inizjalment ikun wieqaf lejn singularità — punt fejn il-matematika ma tibqax tipproduċi tweġiba finita — fi żmien finit. Ma jittrattax il-kwistjoni dwar jekk fluwidu ordinarju, mingħajr forza esterna, jistax jisplodi spontanjament. Din id-distinzjoni hija ċentrali biex wieħed jifhem x’qed jiġi sostnut fil-fatt.

Għaliex il-forza esterna hija importanti

Id-dikjarazzjoni uffiċjali tal-problema ta’ Clay toffri erba’ toroq lejn soluzzjoni. Tnejn jistaqsu jekk flussi lixxi jibqgħux dejjem lixxi. It-tnejn l-oħra, l-alternattivi C u D, jistaqsu jekk tistax tinbena sitwazzjoni li fiha fluss lixx inevitabbilment jikkrolla. L-alternattivi C u D ta’ Clay jippermettu espliċitament forza esterna lixxa.

OpenAI għażlet din it-tieni triq. Skont il-manuskritt tagħha, għal kull livell ta’ viskożità — il-proprjetà li ġġiegħel lill-għasel jiċċirkola bil-mod u lill-ilma jiċċirkola faċilment — forza lixxa mibnija apposta tista’ timbotta fluwidu li inizjalment ikun wieqaf lejn singularità, filwaqt li l-enerġija kinetika totali tibqa’ limitata. Jekk il-prova hija korretta, dan jissodisfa l-kundizzjonijiet ta’ Clay.

L-approċċ jibni fuq ħidma preċedenti. Il-matematiċi Spanjoli Diego Córdoba u Luis Martínez-Zoroa, flimkien ma’ Fan Zheng, kienu diġà wrew f’prepubblikazzjoni li seta’ jseħħ splużjoni kkawżata minn forza esterna f’verżjoni mdgħajfa tal-ekwazzjonijiet, fejn l-effett li bih il-viskożità twitti l-fluss kien tnaqqas artifiċjalment. L-avvanz li OpenAI ssostni li kisbet huwa li rnexxielha tagħmel din l-istrateġija taħdem fl-ekwazzjonijiet sħaħ u mhux modifikati.

X’jivverifika Lean

Ir-repożitorju ta’ Lean 4 li jakkumpanja l-manuskritt huwa dak li jagħmel din l-istqarrija mhux tas-soltu. Lean huwa assistent għall-provi, programm li jirrifjuta kull pass loġiku sakemm dan ma jirriżultax mid-definizzjonijiet kodifikati u mir-regoli aċċettati. Kull inferenza tiġi ċċekkjata minn qalba żgħira u affidabbli tas-software.

Dan huwa siewi għax jagħmel l-iskrutinju ħafna aktar maniġġabbli milli kieku kellha tiġi eżaminata biss matematika miktuba bil-kliem. Iżda Lean jiċċekkja biss il-konsistenza interna: jekk il-konklużjonijiet jirriżultawx mid-definizzjonijiet kif ġew kodifikati. L-ispeċjalisti fid-dinamika tal-fluwidi iridu jiġġudikaw jekk dawk id-definizzjonijiet kodifikati jirrappreżentawx fedelment kull kundizzjoni fid-dikjarazzjoni tal-problema ta’ Clay bl-Ingliż. Il-manuskritt u r-repożitorju huma materjal ippubblikat mill-kumpanija, mhux pubblikazzjonijiet evalwati minn esperti indipendenti, u sal-14 ta’ Settembru ma kienet ġiet iddokumentata pubblikament ebda verifika indipendenti minn esperti tar-repożitorju kollu.

OpenAI tgħid li sistema proprjetarja ta’ istanzi paralleli tal-IA pproduċiet ir-riżultat analitiku, u li mbagħad il-mudell GPT-6 Astra tagħha fformalizzah f’Lean (OpenAI). Iċ-ċifri speċifiċi li l-kumpanija tirrapporta dwar l-iskala u l-ħeffa ma jistgħux jiġu riprodotti b’mod indipendenti: persuni esterni jistgħu jeżaminaw ir-riżultat, iżda ma jistgħux jirreplikaw il-proċess li ġġenerah.

Quanta Magazine rrapporta li madwar tnax-il siegħa qabel it-tħabbira ta’ OpenAI, Tristan Buckmaster tal-NYU u Levent Alpöge, affiljat ma’ Anthropic, ippubblikaw riżultati relatati u assistiti mill-IA dwar ekwazzjonijiet tal-fluwidi qrib din il-problema, ibbażati fuq l-istess strateġija ta’ Córdoba–Martínez-Zoroa. Il-fatt li żewġ laboratorji korporattivi tal-IA waslu għall-istess triq imfassla fl-universitajiet jenfasizza kemm ir-riżultat huwa msejjes fuq ħidma matematika preċedenti.

X’jiġri issa

Ir-regoli tal-premju ta’ Clay jirrikjedu pubblikazzjoni f’rivista akkademika eliġibbli u evalwata minn esperti, mill-inqas sentejn ta’ skrutinju mill-komunità u konstatazzjoni ta’ aċċettazzjoni ġenerali qabel ma kumitat speċjali saħansitra jibda jiddelibera. Ma ġiet identifikata ebda sottomissjoni tal-manuskritt ta’ OpenAI lil rivista akkademika.

Jekk eżami indipendenti jikkonferma l-prova, din tistabbilixxi li l-ekwazzjonijiet standard tridimensjonali ta’ Navier–Stokes, meta jkunu soġġetti għal forza esterna lixxa, jistgħu jiżviluppaw singularità fi żmien finit. Il-każ mingħajr forza esterna — jekk fluwidu jitħalla għall-fiżika tiegħu stess jistax jisplodi spontanjament — jibqa’ miftuħ. Nofs mistoqsija li ilha sekli jkollu tweġiba. In-nofs l-ieħor jibqa’ jistenna.