Problemele pe care Astra le-a ajutat să rezolve „nu au înregistrat niciun progres în ceea ce privește rezultatele lor centrale timp de cel puțin un deceniu și, în majoritatea cazurilor, mult mai mult”, a scris OpenAI. Rezultatele acoperă domenii, inclusiv geometrie dimensională înaltă, teoria codificării, complexitatea circuitelor aritmetice, teoria grupurilor, complexitatea cuantică, criptografie prin rețea și combinatorie extremă - teritoriu în care progresul este în mod normal măsurat în ani, nu cercetări unice.
Dovezi verificate, nu doar răspunsuri
Ceea ce separă rezultatul Astra de un chatbot care ghicește la matematică este verificarea. OpenAI a spus că cercetătorii umani au folosit același model pentru a pregăti argumente ca manuscrise, iar Astra a oficializat apoi fiecare argument ca un certificat Lean. Lean este un asistent de dovezi open-source care poate verifica automat argumentele matematice, ceea ce înseamnă că alți matematicieni nu trebuie să ia rezultatele pe credință - ele pot fi verificate independent de software în câteva secunde.
Această distincție contează. Un model de limbaj poate produce o dovadă cu aspect plauzibil care conține o eroare subtilă, fatală. Prin traducerea fiecărui argument în Lean, OpenAI a transformat o afirmație de marketing într-un artefact verificabil. Potrivit BleepingComputer, care a raportat detaliile, progresele specifice includ o dovadă care stabilește existența unor grupuri non-sofice, rezolvând o problemă majoră deschisă în teoria grupurilor; o infirmare a conjecturii de rigiditate a lui Connes; noi limite pentru ambalarea sferelor cu dimensiuni mari; iar rezultatele rezolvă mai multe probleme puse inițial de prolificul matematician Paul Erdős.
OpenAI a remarcat că numărul total de jetoane necesare pentru a găsi aceste soluții ar costa aproximativ 2.000 USD la tarifele actuale API - un punct de date uimitor despre amprenta de calcul a descoperirilor matematice moderne și unul care plasează cercetarea la nivel de frontieră la îndemâna echipelor academice bine finanțate și nu numai a laboratoarelor în sine.
Matematicienii reacţionează
Thomas Bloom, un matematician de la Universitatea din Manchester care conduce site-ul de referință Erdős-problem erdosproblems.com, a numit rezultatele „veste mari” pe X, potrivit The Decoder. El le-a evaluat mai semnificative decât un contraexemplu la conjectura privind distanța unitară publicată în mai. „Poate nu mai mare decât ar fi fost o dovadă a distanței unității, dar în ceea ce privește construcțiile, aceasta este mare”, a scris Bloom.De asemenea, Bloom a respins ideea conform căreia AI îi înlocuiește pe matematicieni, argumentând că afirmația nu are sens atunci când sistemul se bazează pe mai mult de un secol de teorie, a fost construit de matematicieni și a fost instruit pe tot ceea ce matematicienii au scris vreodată.
Noam Brown, un cercetător din spatele tehnologiei de raționament în timpul testării pe care se bazează Astra, a fost mai măsurat. „Din păcate, nu există probleme ale premiului Millennium (încă)”, a postat el pe X, referindu-se la cele șapte probleme celebre pentru care Institutul de Matematică Clay oferă 1 milion de dolari fiecare – doar una a fost rezolvată de când premiile au fost anunțate în 2000.Nu toată lumea a fost impresionată. Criticul de inteligență artificială Gary Marcus a numit modelul „uimitor – dar foarte supravândut” într-o postare Substack, o linie familiară de scepticism ori de câte ori un laborator de frontieră pretinde o piatră de hotar. Tensiunea dintre realizările tehnice autentice și încadrarea promoțională este probabil să definească modul în care este primită Astra.
O nouă familie de modele pentru sarcini lungi
The Information a confirmat în mod independent că Astra este o nouă familie de modele construită pentru sarcini de lucru de lungă durată. OpenAI îl descrie ca un sistem care permite mai multor agenți AI să colaboreze la diferite părți ale unei probleme mai mari - un design care vizează direct sarcini care durează ore sau zile mai degrabă decât secunde, cum ar fi demonstrarea unei teoreme sau refactorizarea unei baze de cod mari.
BleepingComputer a raportat că OpenAI nu a decis dacă modelul va fi livrat ca GPT-5.7, GPT-6 sau sub un alt nume. CEO-ul Sam Altman a prezentat deja Astra la Washington, D.C., a raportat The Decoder, semnalând că compania consideră sistemul suficient de matur pentru a fi pus în fața factorilor de decizie.
Un obstacol de revizuire guvernamentală
Poate cel mai important detaliu este de reglementare. Potrivit The Decoder, Astra va fi printre primele modele care vor trece printr-un proces planificat de revizuire a guvernului SUA, care necesită aprobare oficială înainte de lansarea publică. Acest lucru adaugă un strat de incertitudine politică cronologiei de lansare cu care modelele emblematice anterioare nu s-au confruntat niciodată – și ridică miza pentru modul în care OpenAI caracterizează capacitățile Astra.
Debutul vine și pe fondul unei curse acerbe de greutăți deschise. Cu câteva zile mai devreme, Thinking Machines Lab a lansat modelul său deschis Inkling-Small, iar laboratoarele chineze continuă să împingă sistemele de frontieră deschise. Astra semnalează pariul OpenAI că raționamentul proprietar, la scară largă, verificat de instrumente precum Lean, rămâne calea către cele mai mari descoperiri.
Deocamdată, Astra rămâne nelansată. Dar debutul său matematic a reîncadrat deja conversația despre ce sisteme AI de frontieră pot contribui la știința pură și cât de atent ar trebui să examineze publicul afirmațiile care le însoțesc.
Rămâi înaintea AI
Doriți să țineți pasul cu evoluții precum Astra și cursa mai largă de modele de frontieră? Marcați hub-ul nostru pentru cele mai recente evoluții AI.
Citiți mai multe știri AI →
