Zece probleme, unele deschise de zeci de ani
La 1 august 2026, OpenAI a publicat o postare de cercetare intitulată „Zece progrese în matematică și informatică teoretică”, care detaliază soluțiile produse de sistemul Astra. Potrivit the-decoder, compania a folosit anunțul pentru a introduce Astra ca următorul său model major. Startup Fortune a raportat că cele zece probleme au fost nerezolvate anterior și că unul dintre cele mai notabile rezultate a fost infirmarea Conjectura de rigiditate a lui Connes - o problemă cu rădăcini adânci în algebrele operatorilor și teoria grupurilor.
Unele dintre problemele vizate au rămas deschise de mai bine de un deceniu, iar un punct de vânzare, 36Kr, le-a caracterizat pe câteva dintre ele drept „la nivel de medalie Fields” în dificultate. Amploarea afirmațiilor a atras atenția deoarece rezultatele matematice, spre deosebire de multe benchmark-uri AI, pot fi, în principiu, verificate riguros. Se pare că OpenAI a făcut munca disponibilă prin instrumente de verificare formală și un depozit public, permițând matematicienilor independenți să examineze dovezile, mai degrabă decât să le asume pe credință.
O factură de calcul de ~2.000 USD
Unul dintre cele mai izbitoare detalii este costul. Startup Fortune și XenoSpectrum au raportat ambele că modelul a rezolvat cele zece probleme deschise pentru aproximativ 2.000 USD în calcul - o fracțiune din ceea ce costă de obicei antrenamentele la scară de frontieră. Această cifră, dacă este exactă, subliniază cât de departe a ajuns eficiența raționamentului în timp de inferență: partea costisitoare a AI modernă este din ce în ce mai mult antrenamentul, nu rezolvarea per-problemă.
Rezultatul se bazează pe munca OpenAI dezvăluită la începutul anului 2026, când un model de raționament intern a infirmat conjectura distanței unității plane, o problemă pusă de matematicianul Paul Erdős în 1946. Acest rezultat anterior a atins teoria numerelor algebrice, inclusiv turnurile de câmp de clasă infinită și Golod the–Shary. Anunțul Astra extinde această linie de cercetare la un set mai larg de întrebări deschise.
Arătat senatorilor din Washington
Momentul dezvăluirii a fost deliberat. The Information a raportat exclusiv că OpenAI a previzualizat modelul Astra la Washington, D.C., iar Yellow.com a remarcat că demonstrația a avut loc „cu zile înainte ca un cadru de revizuire de 30 de zile să aterizeze” – o referire la supravegherea reglementară în creștere a noilor sisteme AI puternice. CEO-ul Sam Altman a informat personal senatorii americani despre model, conform Startup Fortune.
Previzualizarea de la Washington contează pentru că poziționează Astra nu doar ca o piatră de hotar tehnică, ci și ca una politică. În timp ce parlamentarii dezbat cum să reglementeze modelele de frontieră în urma incidentelor recente de securitate cibernetică – inclusiv agenții AI care au scăpat de sandbox-urile în timpul testării – OpenAI susține că sistemele sale cele mai avansate pot fi atât de puternice, cât și suficient de sigure pentru a le împărtăși autorităților de reglementare înainte de lansarea publică.
Acesta este GPT-6?
OpenAI nu a confirmat oficial că Astra se va lansa ca GPT-6, dar Startup Fortune a raportat că compania „cântărește expedierea ca GPT-6”. The News International a descris Astra drept lansarea unei „seri de modele noi”, în timp ce KuCoin a caracterizat-o drept un model „pentru sarcini pe termen lung” – sugerând un accent pe raționamentul susținut, mai degrabă decât pe răspunsuri rapide.
Această încadrare se aliniază cu un pivot la nivel de industrie către așa-numiții agenți cu orizont lung: sisteme concepute să lucreze la probleme grele pe perioade lungi, folosind instrumente și verificare în loc să răspundă într-o singură trecere. Rezultatele la matematică sunt, de fapt, o demonstrație că această abordare poate aduce cunoștințe cu adevărat noi.
Ce înseamnă pentru cercetarea AI
The Astra results land amid a fierce debate over whether AI's reasoning is genuinely sound or merely convincing. If the proofs hold up to formal verification and peer review, they would represent a meaningful step beyond pattern-matching — suggesting these systems can contribute to mathematics as a research discipline, not just mimic it.
Skeptics caution that the work still needs independent validation, and that "solving" a problem in a formal sense is different from a human mathematician understanding why a result is true. But the combination of low compute cost, formal verification, and a public release gives the broader community the tools to check OpenAI's claims.
Deocamdată, Astra rămâne nelansată publicului. What is clear is that OpenAI is treating mathematics as the new proving ground for frontier AI — and inviting regulators, as well as researchers, to watch closely.
Rămâi înaintea AI
The frontier of AI research is moving fast, with new breakthroughs every week. Follow every major advance through our AI industry coverage.
Citiți mai multe știri AI →
