OpenAI je 8. rujna objavio da je njegov interni model, pokrenut kao skupina od oko deset tisuća agenata, dokazao da u trodimenzionalnim Navier-Stokesovim jednadžbama mogu nastati singularnosti. To je jedan od sedam milenijskih problema koje je Clayev matematički institut 2000. godine nagradio s milijun dolara po komadu, a pitanje je glasilo ostaju li rješenja jednadžbi koje opisuju gibanje tekućina uvijek glatka ili se u njima može pojaviti točka u kojoj neka veličina postane beskonačna.

Za svakoga tko prati što modeli stvarno mogu, ovo je važnije od bilo kojeg testa na standardnim zadacima. Milenijski problemi stoje otvoreni desetljećima i na njima su se lomili najbolji matematičari, pa rezultat, ako se potvrdi, govori o nečemu drugom nego prolaz na ispitu koji je model možda vidio u podacima.

Brojke

Prema Quantinu izvještaju, dokaz je nastao u 88 sati računanja, uz još 17 sati za prevođenje u oblik koji se može strojno provjeriti. Agenti su međusobno razmijenili blizu pet milijuna poruka, a Sébastien Bubeck iz OpenAI-ja procijenio je trošak na nekoliko milijuna dolara. Rezultat je formalno provjeren u Leanu, jeziku u kojem se dokaz može provjeriti korak po korak.

Intelektualnu podlogu, kako navodi Quanta, čine tehnike koje su razvili Diego Córdoba i Luis Martínez-Zoroa, a koje izbjegavaju grubu računsku silu.

Što je sporno

Dvanaest sati prije OpenAI-ja svoj su preklapajući rezultat objavili Tristan Buckmaster s njujorškog sveučilišta i Levent Alpöge iz Anthropica. Buckmaster tvrdi da je OpenAI možda koristio njihov rad bez dopuštenja. Njegovu rezultatu, s druge strane, nedostaje jedan od traženih uvjeta.

Vrijedi zabilježiti i da se izvori ne slažu oko toga je li dokaz provjeren. Quanta piše da je formalno potvrđen u Leanu; TechCrunch istog tjedna navodi da dokaz ostaje neprovjeren. Razlika je vjerojatno u tome što strojna provjera u Leanu i prihvaćanje u matematičkoj zajednici nisu isto, ali dok se to ne razjasni, oprez je na mjestu.

Što pratiti

Nagradu Clayev institut ne dodjeljuje na objavu nego nakon recenzije i dvije godine u literaturi. Prava potvrda neće biti priopćenje nego trenutak kad matematičari koji rade na tom području kažu da je dokaz točan i da razumiju zašto.