OpenAI a rezolvat problema Navier-Stokes cu 10.000 de agenți AI

10.000 de agenți AI au rezolvat o problemă nerezolvată?

La 10 septembrie 2026, OpenAI a anunțat o noutate majoră în matematica aplicată: compania susține că a generat o demonstrație pentru una dintre cele mai vechi enigme nerezolvate, problema existenței și regularității ecuațiilor Navier-Stokes. Efortul a mobilizat aproximativ 10.000 de agenți de inteligență artificială, care au lucrat simultan timp de circa 88 de ore. Deși dezvoltatorii prezintă rezultatul cu mândrie, acesta nu a primit încă sigiliul oficial de la Institutul Clay de Matematică, instituția care administrează premiile Millennium. Comunitatea academică mai trebuie să verifice rigurositatea logicii prezentate.

Contextul acestei inițiative diferă semnificativ de încercările anterioare. Într-un proiect precedent axat pe ecuațiile Euler, echipa OpenAI a folosit doar circa 100 de agenți, operați timp de aproximativ 50 de ore. Pentru provocarea actuală, legată de dinamica fluidelor, resursele au fost redirecționate masiv de la alte probleme din categoria Millennium Prize.

Decizia a fost luată după ce Navier-Stokes a fost identificată ca direcția cea mai promițătoare pentru progresul tehnologic. Compania a reușit să producă nu doar o demonstrație analitică clasică, ci și o formalizare completă în limbajul Lean, un instrument specializat pentru verificarea formală a teoremelor.

Procesul de formalizare și verificare în Lean a cerut încă 17 ore suplimentare, fiind executat prin intermediul modelului GPT-6 Astra. Proiectul integral, inclusiv etapele de verificare, a fost finalizat pe 6 septembrie.

În comunicarea oficială publicată pe blogul său, OpenAI a subliniat importanța descoperirii: Vă prezentăm o soluție pentru problema existenței și regularității Navier-Stokes, una dintre problemele Millennium Prize. Această demonstrație, produsă de un sistem intern al OpenAI, arată că dinamica ecuațiilor Navier-Stokes pentru mișcarea fluidelor poate dezvolta o singularitate într-un timp finit.

Prezentăm atât demonstrația, cât și o formalizare în Lean.

AI a rezolvat enigma Navier-Stokes?

Esența problemei constă în analiza ecuațiilor care guvernează mișcarea fluidelor, punând întrebarea fundamentală dacă un fluid tridimensional, incomprimabil și cu densitate constantă, poate atinge o stare de singularitate, chiar dacă punctul de plecare este o condiție inițială netedă și de repaus.

O astfel de singularitate implică o creștere nelimitată a vitezei fluidului într-un interval temporal finit.

Demonstrația oferită de OpenAI confirmă exact acest scenariu teoretic: un fluid tridimensional, incomprimabil, cu densitate constantă, pornind din repaus și dintr-o stare inițială netedă, este capabil să genereze o singularitate într-un timp finit, menținând totuși energia totală finită pe parcursul întregii dinamici. Explicația tehnică descrie un mecanism bazat pe un vârtej care se rotește și se deplasează spre interior, devenind progresiv mai alungit. Regiunea centrală se contractă și accelerează astfel încât energia să rămână controlată, în timp ce viteza fluidului tinde spre infinit.

Potrivit sursei, acest rezultat validează afirmația „C” și, implicit, afirmația „D” din formularea oficială a problemei Millennium Prize Navier-Stokes.

Ecuațiile în cauză, care se bazează pe a doua lege a mișcării pentru a descrie comportamentul fluidelor, au aplicații critice în ingineria aeronautică, în modelele de predicție meteo și în fiziologia circulației sanguine.

A reușit AI să rezolve enigma Navier-Stokes?

Deși această întrebare matematică rămâne deschisă de zeci de ani, rădăcinile ecuațiilor se regăsesc în lucrările din secolul al XIX-lea ale lui Claude-Louis Navier și George Gabriel Stokes. Abia în anul 1934 a fost demonstrată existența soluțiilor într-un sens general, însă problema regularității nu a fost închisă până acum.

Institutul Clay de Matematică a inclus această problemă în lista celor șapte Millennium Prize Problems în anul 2000, stabilind un premiu de 1 milion de dolari pentru fiecare rezolvare validată.

Lista include și alte enigme celebre, precum Ipoteza Riemann sau Conjectura Birch și Swinnerton-Dyer.

OpenAI a precizat că nu își propune să ceară imediat premiul financiar, ci prezintă acest proiect ca pe un test al capacităților propriilor modele, marcând un pas important în evoluția AI, nu ca pe finalul dezvoltării tehnologiei. O demonstrație generată intern și verificată prin Lean nu echivalează automat cu recunoașterea oficială a problemei ca fiind rezolvată de comunitatea matematică globală.

Detaliile tehnice indică faptul că sistemul a utilizat agenți coordonați de un model central, având acces la rularea de cod și la o versiune stocată a internetului.

Agenții au fost organizați în grupuri, au comunicat intern și au explorat diverse variante ale enunțului, iar instrumentul Codex a fost folosit pentru a sintetiza ideile utile.