Odaily Planet Daily melaporkan bahwa OpenAI merilis penelitiannya yang menyatakan bahwa model AI generasi berikutnya, Astra, membuat kemajuan di bidang matematika dan ilmu komputer teoretis, mencakup geometri dimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi pasca-kuantum, dan matematika kombinatorial ekstrem. Sepuluh hasil yang diumumkan mencakup: masalah penumpukan bola dimensi tinggi, masalah pengkodean biner dan bola, masalah grup non-sofic, dugaan rigiditas Connes, masalah kompleksitas sirkuit aritmetika, masalah pengulangan paralel kuantum, masalah vektor terdekat, dugaan volume Ehrhart, masalah bilangan Ramsey multi-warna, dan dugaan teori graf ekstrem.
Menurut laporan, hasil-hasil ini dihasilkan oleh model Astra versi internal, dengan biaya komputasi sekitar $2000 (berdasarkan harga Sol API) untuk mencari solusi. Selanjutnya, peneliti manusia memanfaatkan model yang sama untuk membantu menyusun makalah dan menghasilkan sertifikat bukti yang dapat diverifikasi melalui sistem formalisasi Lean.
