OpenAI a publicat primele rezultate ale... Astra, următorul lor model de inteligență artificialăCompania a înregistrat progrese în ceea ce privește zece probleme deschise din matematică și informatică teoretică. Potrivit companiei, unele dintre aceste probleme au rămas nerezolvate timp de peste un deceniu, fără niciun progres semnificativ. Anunțul, publicat pe 1 august 2026, a generat un entuziasm considerabil în comunitatea științifică, deși mulți cercetători îndeamnă la prudență până când rezultatele vor fi revizuite de experți independenți.
Ceea ce diferențiază această reclamă de altele similare este faptul că OpenAI a publicat nu doar rezultatele, ci și demonstrațiile formalizate. în sistemul de verificare Lean. Acest lucru permite oricărui matematician să verifice automat corectitudinea argumentelor. În plus, compania a detaliat procesul de descoperire, inclusiv 249 de pagini de argumente și 62 de pagini de note argumentate, oferind o transparență neobișnuită în acest tip de comunicare.
Cele zece probleme și relevanța lor
Problemele abordate de Astra acoperă domenii foarte diverse ale matematicii moderne. Printre acestea se numără: respingerea conjecturii rigidității a lui ConnesAcest rezultat are un impact major asupra algebrelor operatorilor, iar construcția explicită a grupurilor non-sofice este o problemă fundamentală în teoria grupurilor. De asemenea, au fost obținute noi limite superioare pentru împachetarea sferelor în dimensiuni mari, o problemă cu aplicații directe în teoria informației și în codurile de corectare a erorilor.
În domeniul combinatoricii, Astra a rezolvat trei probleme puse de matematicianul maghiar Paul Erdős: problemele 146, 180 și 183. Ultima dintre acestea, legată de numerele Ramsey multicolore, a fost descrisă de expertul Thomas Bloom ca fiind „cea mai surprinzătoare din întreaga listă”. Alte progrese includ noi limite inferioare pentru circuitele aritmetice, o teoremă de repetiție paralelă pentru jocurile cuantice și rezultate privind duritatea aproximării problemei celui mai apropiat vector, relevantă pentru criptografia post-cuantică.
Cost și metodologie
OpenAI a dezvăluit că Costul total al token-urilor pentru a găsi aceste soluții a fost de aproximativ 2.000 de dolari.Conform tarifelor API ale Sol, această cifră nu include antrenarea modelului sau munca cercetătorilor umani. Procesul a combinat generarea de argumente de către Astra cu contribuția experților, care a ajutat la transformarea acestor argumente în manuscrise clare și, ulterior, în certificate Lean verificabile automat.
Formalizarea este esențială în Lean: permite oricui are acces la software să verifice pas cu pas dacă demonstrația este corectă din punct de vedere logic. Cu toate acestea, Matematicienii trebuie în continuare să verifice dacă definițiile și ipotezele utilizate corespund problemei inițiale.Este ceva ce o mașină nu poate face singură. OpenAI și-a asumat responsabilitatea pentru corectarea lucrării, dar nu a identificat niciun grup independent care să fi evaluat public toate cele zece rezultate.
Comparație cu Deep Blue și precauția necesară
Mai multe instituții media au comparat această etapă importantă cu victoria Deep Blue asupra lui Garry Kasparov în 1997, dar experții subliniază că Matematica este mai complexă decât șahulÎntr-un joc, rezultatul este imediat; în matematică, o demonstrație poate necesita luni de evaluare inter pares înainte de a fi acceptată. În plus, Astra nu este disponibilă publicului, așa că cercetătorii externi nu pot reproduce procesul sau determina rata de eșec a modelului.
OpenAI a avut experiențe anterioare în care rezultate aparent corecte s-au dovedit a fi incorecte după examinarea de către experți. În februarie 2026, compania a prezentat soluții pentru provocarea First Proof și ulterior a recunoscut că una dintre ele era incorectă. Prin urmare, Comunitatea științifică insistă ca aceste zece progrese să fie tratate ca promițătoare, dar nu ca definitive.până când acestea sunt verificate independent.
În Europa, cercetători de la universități precum Universitatea Politehnică din Madrid și Universitatea din Cambridge și-au exprimat interesul pentru analiza certificatelor Lean publicate de OpenAI. Posibilitatea colaborării inteligenței artificiale la generarea de noi cunoștințe matematice deschide o dezbatere despre rolul oamenilor de știință în viitor, deși compania subliniază că validarea și contextualizarea rezultatelor vor continua să depindă de experți mulți ani de acum înainte.
Cu toate acestea, anunțul Astrei marchează un punct de cotitură: inteligența artificială nu se mai limitează la rezolvarea problemelor cu răspunsuri cunoscute, ci începe să propună argumente originale despre întrebări aflate în avangarda cunoașterii. Adevăratul „moment Deep Blue” în matematică s-ar putea să nu sosească cu un singur rezultat spectaculos, ci mai degrabă treptat, pe măsură ce aceste modele devin colaboratori capabili să exploreze mii de căi și să formalizeze rezultate pe care niciun cercetător nu le testase anterior.
