OpenAI Konfirmasi 'Keluarga Model Besar Berikutnya' Astra, Memecahkan Sepuluh Masalah Matematika Terbuka Sekaligus

OpenAI secara resmi mengonfirmasi nama keluarga model besar berikutnya, Astra, dan menerbitkan laporan matematika yang menunjukkan bahwa versi internal Astra memecahkan sepuluh masalah yang sebelumnya belum terpecahkan dalam matematika dan ilmu komputer teoretis. Masalah-masalah tersebut mencakup berbagai bidang seperti geometri dimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi kisi, dan kombinatorika ekstremal. Di antara masalah yang dipecahkan adalah bukti keberadaan grup non-sofic, sebuah pertanyaan terbuka sentral dalam teori grup. Matematikawan Thomas Bloom dari Universitas Manchester menyebut hasil tersebut sebagai 'berita besar' di X, menilai lebih tinggi daripada contoh kontra untuk konjektur jarak satuan yang diterbitkan pada bulan Mei. Noam Brown, tokoh kunci di balik teknologi penalaran waktu-uji yang mendasari Astra, mengakui di X bahwa OpenAI juga gagal pada masalah besar lainnya, termasuk Masalah Hadiah Milenium, mencatat bahwa mereka tidak menghabiskan banyak daya komputasi per masalah dan bahwa komputasi waktu-uji dapat ditingkatkan lebih lanjut. Brown menggambarkan Astra sebagai 'langkah besar untuk penalaran ilmiah'. Biaya komputasi untuk solusi tersebut sangat rendah: menurut OpenAI, token yang diperlukan akan berharga sekitar $2.000 pada harga API model Sol. Argumen-argumen tersebut kemudian diproses oleh manusia bersama dengan model yang sama menjadi manuskrip, dan setiap bukti diformalkan menjadi sertifikat Lean, konfirmasi yang dapat diverifikasi mesin tentang kebenaran matematika. OpenAI juga menerbitkan narasi proses berpikir model untuk setiap solusi. Perusahaan tersebut menjelaskan bahwa meskipun mereka membantu persiapan manuskrip dan formalisasi serta bertanggung jawab atas kebenaran, argumen matematika itu sendiri berasal dari sistem, dan mengklaim kepengarangan manusia untuk bukti yang sepenuhnya dihasilkan AI akan salah menggambarkan baik kontribusi sistem maupun sifat kerja intelektual manusia yang asli, merujuk pada penandatangan Deklarasi Leiden tentang AI dan Matematika. Bloom merelativisasi gagasan bahwa AI menggantikan matematikawan, dengan alasan bahwa tidak tepat untuk mengatakan hal itu ketika AI dibangun di atas lebih dari satu abad teori matematika, dibangun oleh matematikawan, dan dilatih pada semua yang pernah ditulis matematikawan. Laporan sebelumnya menunjukkan bahwa CEO Sam Altman mendemonstrasikan Astra kepada politisi dan regulator di Washington, D.C., dan bahwa Astra adalah kelas model baru yang berbeda dari keluarga Sol, Terra, dan Luna yang ada, dengan kemungkinan dirilis sebagai GPT-6 atau sebagai varian dalam seri GPT-5 seperti GPT-5.7. Astra diharapkan menjadi model pertama yang menjalani kerangka kerja baru yang direncanakan oleh pemerintahan Trump yang mewajibkan tinjauan pemerintah federal sebelum rilis publik. Model ini dirancang untuk kolaborasi multi-agen dalam periode yang diperpanjang, bertujuan untuk memecahkan proyek kompleks dan tugas matematika tingkat lanjut. OpenAI telah menyatakan tujuannya untuk mengembangkan sistem AI yang dapat mengerjakan masalah selama berjam-jam atau berhari-hari, dan pada Maret 2028 menargetkan untuk menyelesaikan peneliti AI yang sepenuhnya otonom.