Un nou model OpenAI, numit Astra, a fost menționat fără un anunț separat de lansare, într-o publicație dedicată unor rezultate din matematică și informatică teoretică. Compania îl descrie drept „următorul model major”, însă nu precizează deocamdată dacă va fi lansat ca GPT-5.6 Astra, GPT-6 Astra sau sub o denumire diferită.
Informația apare în materialul „Zece progrese în matematică și informatică teoretică”, publicat de OpenAI pe 1 august 2026. Potrivit companiei, o versiune internă a modelului a produs rezultate pentru zece probleme care nu înregistraseră progrese importante de cel puțin un deceniu. Domeniile abordate includ geometria în dimensiuni mari, teoria codurilor, teoria grupurilor, criptografia bazată pe rețele, complexitatea cuantică și combinatorica extremală.
OpenAI susține că Astra a generat argumentele matematice, în timp ce cercetătorii au pregătit manuscrisele cu ajutorul aceluiași sistem. Ulterior, modelul a formalizat demonstrațiile în Lean, un instrument folosit pentru verificarea asistată a probelor. Compania estimează că volumul total de procesare necesar identificării soluțiilor ar fi costat aproximativ 2.000 de dolari la tarifele API ale modelului Sol.
Printre rezultatele prezentate se află noi limite pentru împachetarea sferelor în spații cu multe dimensiuni, o construcție privind existența grupurilor non-sofice și infirmarea conjecturii de rigiditate a lui Connes. Lucrarea mai include rezultate despre problema celui mai apropiat vector, numere Ramsey multicolore și două conjecturi din teoria extremală a grafurilor.
Numele Astra continuă seria de denumiri folosite pentru modelele GPT-5.6, unde Terra, Luna și Sol trimit la Pământ, Lună și Soare, iar Astra poate fi tradus prin „stele”. Această asociere sugerează o posibilă integrare în familia GPT-5.6, dar OpenAI nu a confirmat încă numele final, modalitatea de acces, prețurile sau perioada în care modelul ar putea deveni disponibil publicului.
