Kompanija je objavila matematički dokaz za Navije-Stoksov (Navier-Stokes) problem, jedan od sedam čuvenih Milenijumskih problema, zajedno s njegovom formalizacijom u sistemu Lean, koji omogućava računarsku provjeru matematičkih dokaza.
Ipak, još je prerano reći da je problem definitivno riješen.
Rezultat tek treba da prođe detaljnu provjeru matematičke zajednice, a objava je već izazvala raspravu ne samo o samom dokazu nego i o tome kako je OpenAI do njega došao.
Posebnu pažnju privukao je podatak da je na problemu istovremeno radilo oko 10.000 AI agenata.
Navije-Stoksove jednačine opisuju kretanje fluida, poput vode i vazduha, i koriste se u brojnim oblastima – od projektovanja aviona i vremenskih prognoza do proučavanja protoka krvi.
Jedno od velikih pitanja jeste mogu li glatka trodimenzionalna strujanja pod određenim uslovima razviti singularnost, odnosno doći do tačke u kojoj matematičko rješenje prestaje da bude regularno.
Problem je toliko značajan da ga je Clay Mathematics Institute 2000. godine uvrstio među sedam Milenijumskih problema, za čije je rješavanje predviđena nagrada od milion dolara.
OpenAI sada tvrdi da je njegov sistem pokazao da singularnost može nastati u konačnom vremenu.
Prema njihovom objašnjenju, rješenje opisuje vrtlog fluida koji se sve više izdužuje i skuplja prema unutra, dok brzina raste bez granice, ali ukupna energija ostaje konačna.
Možda jednako zanimljiv kao sam rezultat jeste način na koji je do njega došlo.
OpenAI navodi da je koristio interni model koji je "značajno sposobniji" od GPT-6 Astre.
Umjesto jednog AI sistema koji pokušava da riješi problem, korištene su velike grupe međusobno koordinisanih agenata. Imali su pristup alatima za pretraživanje podataka i izvršavanje programskog koda, a mogli su i međusobno da razmjenjuju rezultate.
Grupa koja je pronašla predloženo rješenje Navije-Stoksovog problema uključivala je oko 10.000 AI agenata.
Do rezultata su, prema OpenAI-ju, stigli nakon približno 88 sati rada.
Tokom rješavanja samo ovog problema agenti su razmijenili oko 2,7 miliona poruka i proizveli približno 130 milijardi izlaznih tokena.
Nakon toga je formalizacija i provjera dokaza u sistemu Lean, uz GPT-6 Astru, trajala još oko 17 sati.
To je pitanje na koje trenutno nema konačnog odgovora.
OpenAI svoj rezultat predstavlja kao rješenje Milenijumskog problema, ali činjenica da je dokaz formalizovan i računarski provjeren ne znači da je Clay Mathematics Institute već priznao da je problem riješen.
Pravila instituta su veoma stroga.
