OpenAI tvrdi da je AI riješio Navier–Stokesov problem, dokaz tek čeka provjeru

Što OpenAI kaže da je pronašao

Navier–Stokesove jednadžbe opisuju kako se gibaju tekućine i plinovi: od vode u cijevi do zraka oko zrakoplovnog krila. U dvije dimenzije matematičari dobro razumiju ponašanje rješenja, ali u tri dimenzije ostaje temeljno pitanje može li glatko početno stanje zauvijek ostati glatko ili se u konačnom vremenu može raspasti. Upravo je to pitanje postojanja i glatkoće Clay Mathematics Institute uvrstio među Milenijske probleme.

OpenAI-jeva tvrdnja ide putem protuprimjera. Tvrtka kaže da je njezin sustav konstruirao posebno početno stanje prisiljenog trodimenzionalnog fluida u kojem se tanka vrtložna struktura sve više sužava i brže vrti. Singularnost ovdje ne znači fizičku eksploziju, nego točku u kojoj određena matematička veličina postaje neograničena pa klasično glatko rješenje više ne vrijedi. Dokaz takvog scenarija bio bi dovoljan odgovor na jednu stranu Clayjeva pitanja.

Wall Street Journal navodi da predloženi dokaz ima 165 stranica i da je formaliziran, odnosno preveden u oblik u kojem računalni sustav može provjeravati logičke korake. Prema brojkama koje je OpenAI dao listu, do 10.000 specijaliziranih AI agenata radilo je 88 sati, a potrošeni računalni resursi vrijedili su nekoliko milijuna dolara. To su podaci tvrtke, ne neovisno izmjerene brojke. OpenAI korišteni model opisuje kao znatno sposobniji od GPT-6 Astre.

Važna je i riječ „prisiljeni”: riječ je o jednadžbama u kojima na fluid djeluje zadana vanjska sila. Službena formulacija Milenijskog problema obuhvaća takav oblik, pa prisiljavanje samo po sebi ne čini rezultat sporednim. Ipak, konkretna matematička konstrukcija ne znači da će se singularnost pojaviti u svakom stvarnom turbulentnom toku niti da današnje vremenske ili inženjerske simulacije odjednom postaju netočne. Dokaz bi utvrdio granicu opće teorije, a praktične posljedice tek bi trebalo zasebno istražiti.

Zašto najava još nije prihvaćeno rješenje

Računalna formalizacija može otkriti pogrešne logičke prijelaze, ali ne uklanja potrebu da stručnjaci pregledaju definicije, početne pretpostavke i vezu formalnog zapisa s izvornim problemom. U trenutku objave nije postojala javna, neovisna potvrda svih koraka. Zato je urednički preciznije govoriti o OpenAI-jevoj tvrdnji o dokazu nego o riješenom problemu. Veliki matematički rezultati često prolaze mjesece ili godine provjera, ispravaka i pojednostavljenja.

Clayjeva pravila dodatno usporavaju put do službenog priznanja. Rješenje se najprije mora objaviti u kvalificiranoj publikaciji, zatim od objave moraju proći najmanje dvije godine, a rezultat mora steći opće prihvaćanje svjetske matematičke zajednice. Institut problem i dalje označava kao neriješen. OpenAI je ujedno rekao da ne namjerava tražiti milijun dolara nagrade, no odricanje od nagrade ne mijenja standarde provjere.

Povezani rad i spor o prvenstvu

Najavu komplicira vremensko preklapanje s radom matematičara Tristana Buckmastera i Leventa Alpögea. Oni su istoga dana objavili tri povezana rezultata, među njima rad o konačnom nastanku singularnosti za prisiljene Navier–Stokesove jednadžbe. Sličnost teme i gotovo istodobna objava otvorile su pitanje tko je prvi razvio pojedine ideje te koliko se dva pristupa preklapaju. Odgovor zahtijeva usporedbu punih dokaza, a ne samo priopćenja i sažetaka.

U javnoj raspravi pojavila se i sumnja da je OpenAI-jev sustav mogao doći do neobjavljenog ljudskog rada kroz korisničke podatke. Za to zasad nema javnog dokaza. OpenAI-jev glavni direktor za istraživanje Mark Chen rekao je da ni ljudi ni agenti nisu pretraživali korisničke podatke radi rezultata. Ta izjava bilježi stav tvrtke, ali ne rješava zasebno pitanje znanstvenog prvenstva, koje će ovisiti o datumima, rukopisima i sadržajnoj analizi dokaza.

Što rezultat govori o AI-ju u znanosti

Ako dokaz izdrži provjeru, važnost neće biti samo u jednom slavnom problemu. Eksperiment bi pokazao model istraživanja u kojem velik broj agenata dijeli zadatak na manje pokušaje, provjerava međurezultate i sastavlja formalni zapis. Takav pristup nije isto što i jedan chatbot koji izgovara rješenje: oslanja se na skupu računalnu pretragu, automatizirano upravljanje pokušajima i formalne alate koji sužavaju prostor za skrivene pogreške.

OpenAI je već u kolovozu predstavio deset rezultata za koje tvrdi da rješavaju ili znatno unapređuju dugogodišnja pitanja u matematici i teorijskom računarstvu. Nova najava podiže ambiciju, ali i prag dokaza: što je tvrdnja veća, to je važnije javno objaviti materijal koji neovisni stručnjaci mogu osporavati i reproducirati. Bez toga priča ostaje impresivan izvještaj o internom sustavu, a ne zatvoren matematički slučaj.

Sljedeći ključni korak zato nije još jedna demonstracija, nego objava potpunog dokaza i formalizacije. Matematičari će morati provjeriti je li konstrukcija doista obuhvaćena preciznom formulacijom Milenijskog problema, jesu li svi beskonačni procesi kontrolirani i postoje li skriveni uvjeti koji sužavaju rezultat. Do tada su i tehnološki doseg i znanstveno prvenstvo otvorena pitanja.