Matematica mileniului naște dispute privind proprietatea intelectuală. Specialiștii analizează soluția obținută cu Open AI pentru problema Navier–Stokes

Ce de la platforma OpenAI, a cărei președinte este Greg Brockman, susțin că un sistem intern de inteligență artificială a găsit o soluție pentru problema Navier–Stokes. Aceasta face parte din cele șapte probleme ale Premiului Millennium. Problema urmărește să stabilească dacă anumite soluții tridimensionale ale ecuațiilor pot rămâne regulate în timp. Sistemul OpenAI a identificat un scenariu în care o singularitate apare într-un timp finit. Compania a publicat atât demonstrația analitică, cât și o formalizare verificată cu ajutorul Lean. Rezultatul este spectaculos, dar necesită încă o examinare independentă atentă.

Ce este problema Navier–Stokes

Ecuațiile Navier–Stokes descriu mișcarea fluidelor. Ele sunt folosite pentru a modela fenomene precum curgerea apei sau mișcarea aerului. Apar în numeroase domenii ale fizicii și ingineriei. Problema matematică este însă mult mai profundă. În cazul tridimensional, cercetătorii nu au reușit să demonstreze dacă soluțiile suficient de regulate rămân așa pentru totdeauna. O altă posibilitate este ca acestea să dezvolte o singularitate într-un timp finit.

Pe scurt, întrebarea este dacă ecuațiile pot ajunge într-o situație în care soluția nu mai rămâne suficient de bine comportată. Adică, sistemul studiat ajunge într-un punct critic în care ecuațiile nu mai pot descrie realitatea în mod util. Această întrebare face parte din cele șapte Probleme ale Premiului Millennium stabilite de Clay Mathematics Institute. Pentru o soluție corectă și acceptată, premiul este de un milion de dolari.

OpenAI susține că a găsit o singularitate în timp finit

Potrivit declarațiilor grupului care a operat cu OpenAI, sistemul său a construit un fluid inițial aflat într-o stare regulată. Acesta era supus unei forțe externe, de asemenea regulare. Sistemul a demonstrat apoi că evoluția poate conduce la apariția unei singularități într-un timp finit.

Un element important este că energia fluidului rămâne finită pe parcursul evoluției descrise de demonstrație. Matematicienii de la OpenAI afirmă că rezultatul rezolvă problema Navier–Stokes prin demonstrarea uneia dintre posibilitățile prevăzute în formularea oficială a problemei.

Nature a prezentat însă rezultatul cu prudență. Publicația vorbește despre afirmația celor de la OpenAI și despre necesitatea examinării matematice a demonstrației.

O demonstrație realizată cu ajutorul unei echipe de agenți AI

Unul dintre cele mai neobișnuite aspecte ale proiectului este amploarea calculului. OpenAI afirmă că a folosit aproximativ 10.000 de agenți AI care au lucrat în paralel la problemă. După aproximativ 88 de ore, sistemul a ajuns la demonstrația analitică. Ulterior, o altă etapă a presupus formalizarea demonstrației în Lean. Această verificare formală a durat încă aproximativ 17 ore, potrivit informațiilor publicate de OpenAI. Lean este un sistem folosit pentru formalizarea matematicii. El permite verificarea mecanică a unor pași logici dintr-o demonstrație.

Această componentă este importantă. O demonstrație formalizată poate fi verificată de un calculator la un nivel mult mai strict decât o simplă explicație produsă de un model AI. Totuși, formalizarea nu înseamnă automat că toate premisele matematice sau interpretarea problemei sunt acceptate de comunitatea științifică.

După anunțul OpenAI a izbucnit disputa

În spatele anunțului spectaculos despre Navier–Stokes s-a conturat rapid o dispută privind prioritatea și folosirea instrumentelor AI în cercetarea matematică. Matematicianul Tristan Buckmaster de la New York University și Levent Alpöge, cercetător afiliat la Anthropic, lucraseră aproximativ un an la probleme înrudite din dinamica fluidelor. Cei doi au folosit inclusiv Claude și instrumente OpenAI precum Codex, iar în august au obținut rezultate importante pentru ecuațiile Euler, în cazul cu forțare externă.

OpenAI afirmă că și-a început proiectul propriu pe 1 septembrie, după ce au circulat zvonuri potrivit cărora două Probleme ale Mileniului fuseseră rezolvate. Compania spune că abia ulterior a înțeles că informațiile se refereau la munca lui Buckmaster și Alpöge. Sistemul intern a fost apoi testat pe mai multe probleme deschise, iar echipa a concentrat resurse masive asupra ecuațiilor Navier–Stokes.

De aici a apărut întrebarea cea mai sensibilă: putea munca matematicienilor să fi ajuns, într-o formă oarecare, în sistemele OpenAI? Buckmaster a întrebat explicit dacă sesiunile sale private de Codex fuseseră folosite pentru antrenarea modelului. OpenAI a negat accesul direct la datele respective și a afirmat ulterior, după o investigație internă, că sesiunile lui Buckmaster din cele două luni anterioare nu puteau influența modelul folosit la demonstrație, inclusiv prin antrenare. Compania a precizat însă că, într-un sens mai general, nu putea exclude anterior contribuția unor date dezidentificate provenite din utilizarea produselor sale la îmbunătățirea modelelor.

Disputa a mers și spre autoratul științific

Buckmaster susține că Sébastien Bubeck i-ar fi propus variante de publicare care îl puneau pe el în prim-plan și îl excludeau pe Alpöge, pe motiv că acesta lucra la Anthropic. Bubeck contestă această interpretare și spune că nu i-a cerut niciodată lui Buckmaster să-și excludă colaboratorul din propria lucrare. În consecință, aceste acuzații trebuie tratate ca părți aflate în conflict ale unei dispute publice, nu ca fapte stabilite independent.

Dincolo de conflictul personal, episodul pune o întrebare nouă pentru cercetarea asistată de inteligență artificială. Cine are prioritatea atunci când un cercetător își construiește ideile folosind un instrument comercial, iar compania care deține acel instrument dezvoltă ulterior un sistem capabil să lucreze la probleme similare? În matematica tradițională, traseul ideii, contribuțiile intermediare și recunoașterea autorilor fac parte din rezultatul științific. În epoca modelelor proprietare, granițele dintre instrument, colaborator și producătorul instrumentului devin mult mai complicate.

Reacția matematicienilor depășește problema Navier–Stokes

La 11 septembrie, 25 de laureați ai Medaliei Fields au publicat declarația A Severe Misalignment of AI in Mathematics. Printre semnatari se află matematicieni precum Terence Tao, Peter Scholze, Maryna Viazovska, Pierre Deligne, Martin Hairer și James Maynard. Tao a explicat că documentul s-a născut din discuțiile lor din săptămâna precedentă și că au ales să îl publice rapid, deși procesul nu a avut timpul necesar pentru consultarea largă care a caracterizat Declarația Leiden.

Mesajul lor nu este că inteligența artificială ar fi incapabilă de matematică. Dimpotrivă, declarația pornește de la constatarea că modelele au avansat spectaculos și pot aborda probleme deschise importante. Îngrijorarea privește însă criteriul după care acest progres este măsurat.

Pentru matematicieni, o problemă celebră nu este doar o ușă care trebuie spartă. Ea funcționează ca un reper pentru descoperirea unor idei, metode și structuri noi. După apariția unei soluții, comunitatea o verifică, o discută, o simplifică și încearcă să înțeleagă mecanismul care a făcut-o posibilă. În timp, ideile pot ajunge în cărți, cursuri și în instrumentarul generațiilor următoare. Declarația celor 25 avertizează că transformarea acestor probleme în simple benchmarkuri pentru AI poate privilegia viteza obținerii unui răspuns în detrimentul înțelegerii.

Aici trebuie înțeles și termenul misalignment. În acest document, el nu desemnează în primul rând scenariul clasic în care o inteligență artificială ar dezvolta obiective ostile oamenilor. Este vorba despre o nealiniere instituțională: companiile urmăresc performanța modelelor, demonstrarea capacităților și competiția comercială, în timp ce comunitatea matematică urmărește înțelegerea, transmiterea cunoașterii, verificarea și recunoașterea corectă a contribuțiilor.

De la matematică la inteligența artificială și înapoi la știință

Problema fusese deja formulată, într-o manieră mai amplă și mai constructivă, prin Declarația Leiden privind inteligența artificială și matematica, publicată la 2 iunie 2026 și susținută de International Mathematical Union. Documentul cere, între altele, transparență privind folosirea AI, responsabilitatea cercetătorilor pentru corectitudinea rezultatelor și respectarea regulilor de citare și atribuire. La verificarea din septembrie, declarația avea aproape 4.000 de semnatari.

De aceea, controversa Navier–Stokes nu este doar despre cine a ajuns primul la o demonstrație. Ea anunță o problemă mult mai largă: ce se întâmplă cu o profesie intelectuală atunci când instrumentul folosit de cercetător devine, prin resursele companiei care îl deține, un potențial competitor al cercetătorului? Matematica este doar primul loc în care această întrebare a devenit imposibil de ignorat.

De ce rezultatul trebuie încă verificat de matematicieni

Anunțul OpenAI nu înseamnă că problema a primit deja o validare unanimă. O demonstrație matematică atât de importantă trebuie examinată independent. Specialiștii trebuie să verifice fiecare etapă și să stabilească dacă rezultatul respectă exact formularea problemei Navier–Stokes. Acesta este un proces esențial în matematică.

În cazul unei probleme care oferă un premiu de un milion de dolari, standardul de verificare este cu atât mai ridicat. Dar a apărut și disputa privind prioritatea cercetării. Anunțul a fost însoțit de o controversă în comunitatea matematică. Matematicianul Tristan Buckmaster de la New York University și cercetătorul Levent Alpöge lucraseră la o problemă înrudită. Ei au făcut publice rezultate privind apariția unei singularități în ecuațiile Euler. Buckmaster a afirmat că OpenAI ar fi putut beneficia de informații provenite din cercetarea lor nepublicată.

El a relatat că fusese informat despre existența unei demonstrații OpenAI înainte ca aceasta să fie făcută publică. OpenAI a respins acuzația că ar fi folosit direct cercetarea celor doi. Compania susține că metoda folosită pentru rezultatul Navier–Stokes este semnificativ diferită.

Controversa nu stabilește însă validitatea sau invaliditatea demonstrației. Ea ridică o altă întrebare. Cum trebuie atribuită contribuția atunci când cercetarea este realizată cu ajutorul unor sisteme AI?

Un test important pentru inteligența artificială

Problema Navier–Stokes are o importanță care depășește matematica pură. Dacă rezultatul va fi confirmat, el ar reprezenta un exemplu remarcabil de utilizare a AI pentru cercetare matematică avansată. Nu este vorba doar despre rezolvarea unei ecuații. Sistemul a trebuit să exploreze numeroase direcții, să selecteze idei promițătoare și să construiască o demonstrație coerentă. Performanța ridică astfel o întrebare mai largă despre rolul inteligenței artificiale în descoperirea matematică.

Până acum, AI a fost folosită în principal pentru a accelera munca cercetătorilor. Un rezultat confirmat în acest caz ar sugera un rol mai ambițios. Sistemele AI ar putea deveni instrumente capabile să exploreze singure spații de cercetare extrem de vaste.

Ce ar însemna confirmarea rezultatului

O confirmare independentă ar avea o semnificație majoră pentru matematică. Ar demonstra că o problemă rămasă deschisă timp de decenii poate fi atacată cu ajutorul unei infrastructuri AI la o scară imposibil de reprodus prin munca unui singur cercetător. Ar putea schimba și modul în care sunt abordate alte probleme matematice dificile.

Dar există o diferență importantă între a găsi o demonstrație și a demonstra că aceasta este corectă. În știință, această distincție contează enorm. De aceea, următoarea etapă nu mai aparține doar OpenAI. Ea aparține matematicienilor care vor verifica independent rezultatul.

O posibilă schimbare de paradigmă

Problema Navier–Stokes a rămas una dintre marile frontiere ale matematicii moderne. Acum, inteligența artificială susține că a găsit o cale prin această frontieră.

Dacă demonstrația rezistă verificării, momentul ar putea deveni unul de referință pentru relația dintre matematică și inteligența artificială. Dacă apar erori, rezultatul va rămâne totuși relevant. El va arăta cât de departe pot ajunge sistemele AI și unde se află încă limitele lor. În ambele scenarii, însă, matematica va avea ultimul cuvânt.