Pe 1 august 2026, OpenAI a anunțat o realizare remarcabilă în domeniul matematicii: modelul lor de inteligență artificială, Astra, a reușit să rezolve zece probleme matematice dificile care au reprezentat o provocare pentru cercetători de-a lungul ultimelor decenii. Descoperirea marchează un pas important în evoluția matematicii asistate de tehnologie.
Reușitele lui Astra acoperă o gamă variată de arii matematice, inclusiv teoria grupurilor, geometria în dimensiuni înalte, teoria codării, complexitatea cuantică, criptografia bazată pe rețele și combinatorica extremală. Pentru fiecare problemă a fost generată o demonstrație completă și însoțită de certificate formale, verificabile automat prin intermediul sistemului Lean, un asistent avansat pentru demonstrații matematice. Raportul complet de 249 de pagini oferă detalii riguroase și este prima manifestare de o asemenea amploare a unui model AI în matematică.
Printre realizările notabile se află demonstrarea existenței grupurilor non-sofice, o problemă care a captat interesul teoreticienilor de ani buni, infirmarea conjecturii de rigiditate a lui Connes din teoria algebrelor von Neumann, precum și o îmbunătățire a limitelor densității împachetării sferelor în înaltă dimensiune. În luna mai 2026, Astra a surprins comunitatea științifică rezolvând o veche problemă din geometrie, ce rămăsese nerezolvată din 1946.
Reacții din partea experților
Tim Gowers, laureat al Medaliei Fields, a declarat că demonstrațiile merită cu siguranță publicarea într-un jurnal de prestigiu, semn că rezultatele sunt considerate valoroase la cel mai înalt nivel. De asemenea, un grup de nouă matematicieni, printre care și Gowers și Noga Alon, a întocmit un articol explicativ pentru a face aceste demonstrații accesibile comunității matematice. Thomas Bloom, responsabil cu catalogul problemelor Erdős, a apreciat aceste realizări drept „vești mari”, considerându-le chiar mai importante decât soluționarea conjecturii distanței unitare.
Cu toate acestea, a fost subliniat faptul că niciuna dintre probleme nu face parte din cele șase probleme împărțite în Programul Millennium Prize, recunoscute drept extrem de greu de rezolvat. Cercetătorii OpenAI au menționat însă că acestea nu sunt obiectul rezolvărilor obținute de Astra.
Importanța dovezilor și transparența procesului
Un aspect esențial al acestei descoperiri îl reprezintă verificabilitatea independentă a demonstrațiilor generate. În ultimii ani, majoritatea realizărilor declarate de companiile AI au fost criticate pentru lipsa evaluărilor independente. De această dată, toate certificatele de validare a demonstrațiilor sunt disponibile public pe platforma GitHub, sub o licență deschisă, permițând oricui să le descarce și să le verifice.
Datorită sistemului Lean, verificarea corectitudinii pașilor a fost aproape instantanee, eliminând necesitatea dependenței de încrederea ipotetică în producătorul demonstrațiilor. Procedurile tradiționale de evaluare peer review, care pot dura luni, au fost astfel accelerate semnificativ.
Îndoieli și critici
Cu toate meritele, rezultatele nu au scăpat de scepticism. Unii critici susțin că selecția problemelor ar fi putut fi făcută strategic de OpenAI pentru a maximiza impactul comunicat, iar suma de aproximativ 2.000 de dolari menționată este considerată costul publicării, nu cel al generării soluțiilor. De asemenea, accesul la modelul Astra este limitat doar companiei OpenAI, ceea ce înseamnă că replicarea autonomă a procesului este imposibilă, iar rezultatele pot fi doar verificate, nu și reprodus.
Gary Marcus, cunoscut critic al inteligenței artificiale, a apreciat realizarea drept „uimitoare, dar supraevaluată”. Totodată, unii specialiști estimează că, după analizarea în detaliu, doar o parte dintre cele zece soluții se vor dovedi cu adevărat revoluționare, iar restul pot fi considerate rezolvări ale unor probleme mai accesibile sau mai puțin explorate anterior.
