Odaily Yıldız Günlüğüne göre OpenAI, sonraki nesil AI modeli Astra'nın yüksek boyutlu geometri, kodlama teorisi, grup teorisi, kuantum karmaşıklığı, post-kuantum kriptografi ve ekstremal kombinatorik alanlarında ilerlemeler kaydettiğini açıkladı. Açıklanan 10 sonuç şunları içeriyor: yüksek boyutlu küre doldurma problemi, ikili ve küresel kodlama problemi, non-sofic grup problemi, Connes sertlik varsayımı, aritmetik devre karmaşıklığı problemi, kuantum paralel tekrar problemi, en yakın vektör problemi, Ehrhart hacim varsayımı, çok renkli Ramsey sayısı problemi, ekstremal graf teorisi varsayımı.
Bu sonuçlar, Astra modelinin dahili sürümü tarafından türetilmiş olup, çözümü bulmak için harcanan hesaplama maliyeti yaklaşık 2000 dolardır (Sol API fiyatı baz alınarak). Daha sonra insan araştırmacılar, aynı modeli kullanarak makaleyi düzenlemiş ve Lean formelleştirme kanıt sistemi aracılığıyla doğrulanabilir kanıt sertifikaları oluşturmuştur.