Institutul de Matematică Clay a recunoscut public pentru prima dată că problema existenței și netezirii Navier-Stokes – una dintre cele șapte probleme ale Premiului Mileniului – „se pare că a fost rezolvată”. Declarația, publicată vineri pe site-ul institutului, trece una dintre cele mai contestate povești despre AI și matematică ale anului în procesul oficial de evaluare a premiilor al institutului, în timp ce arată la fel de clar că nu a fost acordat niciun premiu și nicio dovadă nu a fost aprobată.
„Astăzi, CMI împărtășește entuziasmul comunității matematice globale în timp ce ne gândim la anunțul că problema Navier-Stokes a fost soluționată”, a scris institutul în anunțul, datat 11 septembrie 2026. „Sperăm să vedem valuri de noi înțelegeri umane dezlănțuite pe măsură ce inovațiile din spatele acestei lucrări sunt analizate și interogate”. For more context on this story, see our ongoing more AI stories.
De ce contează declarația
Limbajul măsurat al institutului lucrează mult și fiecare cuvânt a fost analizat în câteva ore pe Hacker News, unde anunțul a adunat mai mult de 100 de puncte. Ceea ce nu spune declarația este la fel de semnificativ ca ceea ce face: Institutul de Matematică Clay nu denumește OpenAI, nu confirmă că vreo dovadă specifică este corectă și nu declanșează acordarea unui premiu.
Contextul explică reținerea. Pe 8 septembrie, OpenAI a publicat o soluție revendicată la problema Navier-Stokes, afirmând că un sistem AI intern – descris de companie ca fiind mult mai capabil decât modelul său GPT-6 Astra – a produs atât o dovadă analitică, cât și o verificare formală în asistentul Lean proof. Anunțul a devenit imediat la fel de mult despre credit, cât și despre calcul, deoarece doi matematicieni academicieni au lansat lucrări strâns legate în aceeași zi, iar cercetătorii au apăsat pe OpenAI pentru a cărui activitate informase rezultatul mașinii.
Institutul recunoscând acum că problema „aparent a fost soluționată”, disputa schimbă terenul: de la ping-pong-ul comunicat de presă la procedura de evaluare a Premiului Mileniului, pe care institutul o descrie ca fiind „în mod deliberat fără grabă”.
Ce întreabă problema Navier-Stokes
Problema se referă la existența și netezimea soluțiilor la ecuațiile Navier-Stokes în spațiul euclidian tridimensional - ecuațiile care descriu modul în care fluidele precum apa și aerul se mișcă. Deși aceste ecuații sunt folosite zilnic de ingineri, meteorologi și aerodinamiști, matematicienii nu au dovedit niciodată că soluțiile netede, rezonabile din punct de vedere fizic există întotdeauna în trei dimensiuni sau că se comportă mai degrabă previzibil decât să dezvolte singularități.
Institutul de Matematică Clay a dezvăluit Problemele Premiului Mileniului la o întâlnire la Paris în 2000, atașând un premiu de 1 milion de dolari fiecăreia dintre cele șapte probleme, care includ, de asemenea, Ipoteza Riemann și P versus NP. În declarația sa de vineri, institutul și-a reiterat rațiunea inițială: creșterea gradului de conștientizare a publicului că frontiera matematică este deschisă și recunoașterea „realizărilor în matematică de amploare istorică”.
Doar una dintre cele șapte probleme, Conjectura Poincaré, a fost rezolvată — de Grigori Perelman într-o lucrare postată în 2002 și 2003, pentru care a declinat atât medalia Fields, cât și premiul în bani.
O evaluare „în mod deliberat fără grabă” înainte
Anunțul institutului indică regulile premiului ca cadrul de guvernare pentru ceea ce se va întâmpla în continuare. „Regulile care guvernează premiile descriu procesul de evaluare a ceea ce s-a realizat și de atribuire a creditului”, se arată în comunicat. „Procesul este în mod deliberat fără grabă, dar vom oferi actualizări”.
Această formulare lasă deschise câteva întrebări pe care comunitatea matematică le dezbate acum deschis. Verificarea este primul obstacol: o dovadă a netedății Navier-Stokes ar dura, de obicei, un comitet de experți multe luni pentru a verifica rând cu rând. Afirmația OpenAI conform căreia rezultatul său include o formalizare verificată de mașină în Lean ar putea, în principiu, să comprima dramatic acea cronologie, deoarece verificarea formală reduce problema corectitudinii la ceea ce va accepta un asistent de dovezi. Dar institutul nu a spus dacă i-a fost depusă o astfel de formalizare, cine sunt arbitrii sau cum va fi repartizat creditul între sistemul AI, creatorii săi la OpenAI și matematicienii academicieni ale căror lucrări conexe au apărut în aceeași săptămână.
De asemenea, declarația nu abordează dacă o soluție atribuită în mare parte unui sistem AI se califică pentru un premiu destinat, în limbajul fondator al institutului, să recunoască realizările matematice umane - o întrebare fără precedent în istoria de 26 de ani a premiului.
Tensiunea din spatele anunțului
Anunțul aterizează într-un moment extraordinar de delicat pentru intersecția dintre AI și matematică. Vineri, un grup de 25 de medaliați Fields, inclusiv Terence Tao, a publicat o declarație oficială în care avertizează că cursa pentru a prezenta sisteme AI pe repere matematice dăunează atât științei, cât și comunității care o susține - o declarație care a adunat peste 1.300 de susținători suplimentari într-o zi, după cum a raportat anterior AI Buzz Wire.
Cele două documente se citesc aproape ca răspunsuri unul la altul. Declarația matematicienilor avertizează împotriva tratării problemelor profunde ca trofee de referință; anunțul institutului, deși îmbrățișează rezultatul, încadrează cu atenție momentul în jurul înțelegerii mai degrabă decât a victoriei, sperând să vadă „valuri de noi înțelegeri umane dezlănțuite pe măsură ce inovațiile din spatele acestei lucrări sunt analizate și interogate”.
Chiar și propria relatare a institutului despre domeniul înconjurător recunoaște schimbarea: „Capacitatea tot mai mare a noilor tehnologii de a accelera cercetarea matematică a sporit acest sentiment de anticipare”, notează declarația, atribuind descoperiri recente în zonele adiacente – unele recunoscute de Clay Research Award – cu speranța că Navier-Stokes ar putea cădea în curând.
Ce urmează
Deocamdată, concluzia practică este îngustă, dar reală: institutul care deține problema a trecut la dosar că consideră că problema aparent a fost rezolvată și s-a angajat să facă actualizări publice pe măsură ce evaluarea continuă. Dacă lucrarea supraviețuiește examinării, ar fi a doua problemă a mileniului rezolvată, prima în două decenii – și prima din istorie atribuită parțial unui sistem AI, o distincție care va modela modul în care instituțiile de matematică gestionează următoarea astfel de afirmație.
Institutul a cerut răbdare. Având în vedere că procesul este, prin proiectare, în mod deliberat fără grabă, întrebările comunității - despre dovada, creditul și rolul mașinii care l-a produs - vor primi răspunsuri pe cronologia institutului, nu pe ciclul știrilor.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
