OpenAI a anunțat recent ceea ce a numit o descoperire matematică majoră legată de problema Navier-Stokes, una dintre cele mai dificile probleme nerezolvate din matematică, parte din celebra listă a Problemelor Premiului Mileniului. Compania a revendicat o demonstrație conform căreia ecuațiile Navier-Stokes 3D pot dezvolta o singularitate în timp finit (blowup), publicată printr-un manuscris de 166 de pagini însoțit de o formalizare completă în Lean, verificată mecanic de modelul GPT-6 Astra în 17 ore, folosind 10.000 de agenți și aproximativ 300 de miliarde de tokeni, la un cost estimat de compute de circa 22,5 milioane de dolari. Anunțul, prezentat cu entuziasm de companie ca o dovadă a capacităților avansate ale modelelor sale de inteligență artificială, a fost rapid contestat de mai mulți academicieni care susțin că prezentarea rezultatelor a fost, în cel mai bun caz, înșelătoare.

Conform Wired, anunțul făcut de laboratorul de inteligență artificială a fost umbrit aproape imediat de acuzații de comportament academic impropriu. Miza disputei nu este, așa cum s-ar putea crede, o simplă reciclare a unor rezultate deja publicate, ci o acuzație de prioritate pe muncă nepublicată. Tristan Buckmaster (NYU) și Levent Alpoge (Anthropic) susțin că OpenAI s-ar fi folosit de rezultate nepublicate ale lor, obținute pe baza metodei originale dezvoltate de Cordoba și Martinez-Zoroa. Mai grav, Alpoge a acuzat public că Sebastien Bubeck, cercetător la OpenAI, i-ar fi cerut să fie scos din lista de autori ai unei lucrări conexe, întrebându-l la un moment dat: „De ce ți-ai distruge cariera?”. Terence Tao a comentat și el episodul, subliniind importanța atribuirii corecte a meritelor în astfel de cazuri.

Problema Navier-Stokes se referă la ecuațiile care descriu mișcarea fluidelor, iar demonstrarea existenței și netezimii (regularității) soluțiilor acestor ecuații reprezintă una dintre marile provocări nerezolvate ale matematicii moderne, cu un premiu de un milion de dolari oferit de Clay Mathematics Institute celui care o va rezolva complet. Un detaliu esențial, adesea trecut cu vederea în relatările despre acest caz, este că demonstrația OpenAI acoperă varianta forțată a ecuațiilor Navier-Stokes, în timp ce Premiul Mileniului vizează în mod specific versiunea neforțată. Clay Mathematics Institute nu s-a pronunțat încă dacă rezultatul, chiar validat, ar îndeplini criteriile pentru premiu. De altfel, OpenAI a declarat că nu intenționează să revendice cei un milion de dolari, ceea ce contrazice parțial cadrul în care presa a prezentat miza financiară a episodului.

Spre deosebire de acuzațiile de „math-washing” vehiculate în alte cazuri similare din industrie, disputa aici nu ține de faptul că OpenAI ar fi prezentat rezultate deja cunoscute drept originale, ci de faptul că întreaga poveste s-ar sprijini pe muncă nepublicată a altor cercetători, fără atribuirea corespunzătoare. Bubeck a respins acuzațiile, calificându-le drept „false și inflamatorii”, dar a recunoscut public prioritatea muncii lui Alpoge și Buckmaster și și-a cerut scuze pentru formularea despre carieră, spunând că a retractat-o imediat după ce a rostit-o. Sam Altman a comentat și el episodul pe X, fără însă a oferi o clarificare completă asupra cronologiei evenimentelor.

Episodul se înscrie într-un tipar mai larg observat în ultimii ani în industria AI: anunțuri ample despre capacități „revoluționare” ale modelelor, urmate de o perioadă de verificare externă în care experții independenți descoperă că realitatea este mai nuanțată decât comunicatul de presă. Cazuri similare au apărut anterior legate de pretenții privind rezolvarea unor probleme de programare, teoreme matematice sau descoperiri științifice atribuite unor modele de limbaj, unde entuziasmul inițial a fost urmat de corecții sau retractări parțiale după ce comunitatea academică a analizat în detaliu metodologia.

Ceea ce face acest caz relevant este miza simbolică: OpenAI concurează direct cu alte laboratoare mari, precum Anthropic sau Google DeepMind, pentru a demonstra că modelele lor pot contribui la cercetarea științifică de vârf, nu doar la sarcini de zi cu zi precum scrierea de texte sau cod. Spre deosebire de percepția că demonstrația ar fi rămas doar la stadiul de comunicat de presă, OpenAI a publicat integral atât manuscrisul, cât și codul de formalizare în Lean, punându-le la dispoziția comunității pentru scrutin public. Însă acuzațiile de prioritate nerecunoscută subminează exact acest tip de credibilitate pe care compania încearcă să o construiască în fața comunității științifice și a investitorilor.

Contextul mai larg arată o tensiune tot mai vizibilă între ritmul rapid al anunțurilor din industria AI, orientate spre marketing și atragerea investițiilor, și ritmul mult mai lent și riguros al verificării academice. Comunitatea matematică funcționează pe baza evaluării inter pares (peer review) și a atribuirii corecte a meritelor, un proces care poate dura luni sau ani, în contrast puternic cu comunicatele de presă publicate în câteva ore după un rezultat preliminar.

Rămâne de văzut dacă OpenAI va oferi clarificări suplimentare privind cronologia exactă a contribuțiilor și dacă Clay Mathematics Institute se va pronunța asupra versiunii forțate a problemei. Până atunci, episodul alimentează scepticismul tot mai extins față de anunțurile spectaculoase venite din partea marilor laboratoare de inteligență artificială, într-un moment în care fiecare companie caută să demonstreze că modelele sale nu doar generează text, ci contribuie efectiv la avansarea cunoașterii umane. Pentru comunitatea academică, precedentul contează: dacă rezultatele publicate, chiar și integral și cu cod verificabil, ajung să eclipseze contribuțiile nepublicate ale altor cercetători fără atribuire corectă, granița dintre progres real și marketing agresiv riscă să devină tot mai greu de trasat.