Odaily Planet Daily melaporkan, OpenAI telah menerbitkan hasil penyelidikan yang menyatakan bahawa model AI generasi seterusnya, Astra, telah membuat kemajuan dalam bidang matematik dan sains komputer teori, termasuk geometri dimensi tinggi, teori pengkodan, teori kumpulan, kompleksiti kuantum, kriptografi pasca-kuantum, dan matematik kombinatorik ekstrem. Sepuluh hasil yang diumumkan merangkumi: masalah pengumpulan bola dimensi tinggi, masalah pengkodan binari dan sfera, masalah kumpulan bukan sofic, konjektur kekakuan Connes, masalah kompleksiti sirkuit aritmetik, masalah pengulangan selari kuantum, masalah vektor terhampir, konjektur isipadu Ehrhart, masalah nombor Ramsey pelbagai warna, dan konjektur teori graf ekstrem.
Menurut maklumat, pencapaian ini dihasilkan oleh model Astra versi dalaman, dengan kos pengiraan yang diperlukan untuk mencari penyelesaian sekitar USD2000 (berdasarkan harga Sol API). Selepas itu, penyelidik manusia menggunakan model yang sama untuk membantu menyusun kertas kerja dan menghasilkan sijil bukti yang boleh disahkan melalui sistem pembuktian formal Lean.