AI tvrdi da je riješio Navier-Stokes. Matematika još šuti

Prvo je bila šahovska ploča. Onda Go. Onda esej, pa kod, pa pjesma, pa pravni savjet, pa dijagnoza s fotografije madeža. Sad je, eto, došao red na jedan od sedam milenijskih problema — onih za koje Clay Institute plaća milijun dolara onome tko ih riješi, i koji stoje neriješeni dok su generacije matematičara starile i umirale nad njima. Navier-Stokes. Jednadžbe koje opisuju kako teku tekućine. Voda u cijevi, zrak oko krila aviona, krv u arteriji, vjetar nad Velebitom. Model star gotovo dvjesto godina, i pitanje koje nitko nije zatvorio: mogu li ta rješenja "eksplodirati"? Može li brzina fluida u nekom trenutku postati beskonačna, u konačnom vremenu, iz savršeno glatkih početnih uvjeta?

Navodno može. To je tvrdnja. I to je tvrdio nečiji model.

I tu počinje cirkus.

Prvo, da raščistimo što se ovdje uopće tvrdi, jer naslovi tipa "AI riješio milenijski problem" prodaju jednu stvar, a isporučuju drugu. U matematici, "riješiti problem" znači napisati dokaz. Dokaz je niz koraka gdje svaki korak slijedi iz prethodnog po pravilima koja su svi prihvatili, i gdje na kraju nitko ne može reći "a možda ipak nije tako". Dokaz ne pita vjeruješ li mu. Dokaz te prisili. To je razlika između matematike i marketinga, i ta razlika je, jebeno, cijela poanta.

Ono što je jedan model navodno proizveo nije dokaz u tom smislu. To je nešto što izgleda kao dokaz. Struktura je tu, koraci su tu, notacija je uredna, zaključak slijedi. Ali kad matematičari počnu čitati — a oni čitaju sporo, jer čitaju kao forenzičari, tražeći gdje laž prolazi neopaženo — pojavljuju se rupe. Korak koji "očito slijedi" a ne slijedi. Pretpostavka koja je podmetnuta kao definicija. Granični slučaj koji je prešućen jer ga model nije vidio, a ljudsko oko bi ga uhvatilo u sekundi.

To nije greška u dokazu. To je greška u samoj prirodi alata.

Jer ovo je stvar koju treba reći naglas, mirno, bez uzbuđenja: veliki jezični model ne zna što je istina. Zna što je vjerojatno. To je njegova jedina vještina. Predviđa sljedeći token na temelju ogromne statistike tekstova koje je progutao. Kad ga pitaš nešto na što je u tim tekstovima sto puta odgovoreno — kako se zove glavni grad, kako se piše petlja u Pythonu, kako se zove onaj glumac iz onog filma — pogodi gotovo uvijek, jer je odgovor bio u podacima, na istom mjestu, istim riječima.

Ali milenijski problem nije bio u podacima. Nitko ga nije riješio. Nema tog teksta, tog PDF-a, tog Stack Overflow odgovora koji sadrži rješenje, jer rješenje ne postoji. Model je, dakle, morao izmisliti nešto što izgleda kao rješenje. I to je upravo ono što radi najbolje. Generira uvjerljivo. Uvjerljivost je njegov proizvod. Istinitost je slučajna nuspojava, i to samo kad ima sreće.

Pacijent je došao s nalazom koji izgleda savršeno. Svaki parametar u referentnom rasponu. Svaki nalaz uredan. I to je upravo ono što me zabrinjava. Savršenstvo je simptom. Pravi dokaz ima ožiljke, ima mjesta gdje je autor zapeo i ostavio trag, ima fusnotu u kojoj priznaje da ne zna zašto korak funkcionira ali funkcionira. Ovaj nalaz je bio predobar, pregladak, previše spreman za objavu. A kad je nešto previše spremno, obično znači da ga je netko sastavio unatrag, od zaključka prema početku.

I tu dolazimo do stvarnog pitanja, onog koje nitko ne postavlja jer je nepristojno: čemu ovo služi?

Ne mislim na matematiku. Matematika će preživjeti. Ako je rezultat točan, netko će ga, prije ili poslije, pretvoriti u pravi dokaz — ljudski, provjerljiv, dosadan, stotinjak stranica lema i korolara koje će čitati trojica ljudi na svijetu i od kojih će dvojica razumjeti. To je normalan put. Ideje dolaze iz snova, iz pogrešnih pretpostavki, iz pijanih razgovora, iz greške u izračunu koja slučajno upali. Porijeklo ideje nije važno. Važna je provjera.

Ono što je važno je tko kontrolira narativ oko provjere.

Jer pogledaj strukturu poticaja. Imaš firmu koja je potrošila desetke milijardi dolara na računalne resurse i koja mora, svakih nekoliko mjeseci, pokazati svijetu da se taj novac pretvara u nešto što mijenja igru. Imaš investitore koji su uložili na temelju priče o superinteligenciji i kojima treba, ne dokaz, nego headline. Imaš novinare koji ne znaju čitati dokaze ali znaju čitati press release. I imaš, na kraju lanca, čitatelja koji vidi naslov "AI riješio milenijski problem" i pomisli: pa to je to, strojevi su nadjačali ljude.

A stvarnost je negdje drugdje. Stvarnost je da je model proizveo kandidata za dokaz. Kandidat je na provjeri. Provjera traje. I možda prođe, i to bi bilo stvarno veliko — ne zato što je AI pametan, nego zato što je čovjek koji je znao postaviti pravo pitanje iskoristio alat da dođe do odgovora koji mu je promakao. To je priča o suradnji, ne o zamjeni. Ali to nije priča koja se prodaje.

Ako je AI toliko pametan, zašto mu treba da mu čovjek potvrdi da nije izmislio? Zašto, ako je riješio problem koji stoji dvjesto godina, ne može sam reći "provjerio sam se, ovo drži vodu"? Zato što ne može. Zato što nikad nije ni mogao. Zato što je njegova jedina vještina proizvesti tekst koji izgleda kao da ga je napisao netko tko zna, a ne tekst koji je napisao netko tko zna. Razlika je ista kao između čovjeka koji zna kuhati i čovjeka koji zna opisati kuhanje. Jedan te nahrani. Drugi te ostavi gladnim, ali s lijepim jelovnikom.

Sjetim se devedesetih, kad smo slagali prve servere u Rijeci i kad je svaka greška bila vidljiva odmah — pukne veza, padne servis, korisnik zove i psuje. Nije bilo prostora za "izgleda kao da radi". Radilo je ili nije. Ta iskrenost tehnologije je nešto što današnji svijet modela polako gubi. Sad imamo alate koji umiju proizvesti savršen dojam rada, a da pritom ne rade, i cijeli jedan sloj industrije izgrađen je na tome da se ta razlika zamagli. Milenijski problem je samo najnovija pozornica na kojoj se igra ta igra.

I zato, ne, neću reći da je ovo prijevara. Možda je stvarno otkriće. Možda za pet godina čitamo dokaz i svi se klanjamo. Ali ono što je danas sigurno je da je naslov došao prije dokaza, slava prije provjere, i to je jedini obrazac koji se u ovoj industriji ponavlja s takvom dosljednošću da bi ga čovjek mogao uzeti kao fizikalni zakon.

Matematika ne trpi prečace. Zato je i preživjela sve civilizacije koje su mislile da su pametnije od nje. AI će, ako ikad doista riješi Navier-Stokes, morati proći isti put kao i svaki matematičar prije njega: dokaz, provjera, tišina, pa priznanje. A do tada, milijun dolara ostaje na stolu. I to je, zapravo, dobra vijest. Lijepo je znati da negdje još postoji nagrada koja se ne može isplatiti na temelju dojma.

Izvor: quantamagazine.org