Astra'nın, @OpenAI’ın bir sonraki büyük model ailesinin, iç versiyonu matematik, kuantum karmaşıklığı ve teorik bilgisayar biliminde 10 büyük açık problemi çözdü.
1-Yüksek boyutlu küre paketleme
2-İkili ve küresel kodlar
3-Sofik olmayan gruplar
4-Connes’in sertlik konjektürü
5-Aritmetik devre karmaşıklığı
6-Kuantum paralel tekrar
7-En yakın vektör problemi
8-Ehrhart hacim konjektürü
9-Çok renkli Ramsey sayıları
10-Aşırı sayı konjektürleri (kompaktlık ve dejenerelik)