OpenAI memperkenalkan Astra, model kecerdasan buatan (AI) terbaru yang belum dirilis ke publik. Pengembangan ini diklaim berhasil menghasilkan 10 kemajuan dalam matematika serta ilmu komputer teoretis, termasuk persoalan yang lama mengalami kebuntuan, dilansir dari Detik iNET. Pengumuman yang disampaikan pada 1 Agustus 2026 tersebut mencakup bidang geometri dimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi berbasis kisi, dan kombinatorika ekstremal.
Argumen matematika untuk seluruh temuan ini diproduksi oleh versi internal Astra. Peneliti manusia kemudian membantu menyusun hasilnya menjadi makalah ilmiah menggunakan model AI yang sama.
Setiap pembuktian yang dihasilkan telah diformalkan menjadi sertifikat Lean. Sertifikasi ini memungkinkan komputer memeriksa struktur dan konsistensi logis dari seluruh pembuktian secara sistematis.
Efisiensi biaya komputasi proyek ini juga menjadi sorotan. OpenAI memperkirakan total pemrosesan token untuk menemukan 10 hasil tersebut hanya menghabiskan sekitar USD 2.000 atau setara Rp 36 juta berdasarkan tarif API Sol. Berikut adalah 10 hasil temuan yang dipublikasikan oleh OpenAI:
1. Batas atas baru untuk kepadatan susunan bola berdimensi tinggi. 2. Peningkatan batas ukuran kode biner dan kode bola berdimensi tinggi.
3. Konstruksi yang menunjukkan keberadaan kelompok non-sofic. 4. Bantahan terhadap dugaan kekakuan Connes. 5. Batas bawah baru dalam kompleksitas sirkuit aritmatika.
6. Teorema pengulangan paralel untuk permainan kuantum dua pemain.
7. Tingkat kesulitan pendekatan masalah vektor terdekat. 8. Penyelesaian dugaan volume Ehrhart pada setiap dimensi. 9. Batas bawah super-eksponensial untuk bilangan Ramsey multicolor.
10. Hasil baru mengenai dugaan kekompakan dan degenerasi graf ekstremal.
Seluruh dokumen makalah, sertifikat Lean, dan rincian proses untuk tiap hasil telah dirilis oleh OpenAI. Akses ini dibuka agar para matematikawan dapat memeriksa validitas pembuktian Astra secara mandiri. "Argumen matematikanya sendiri dihasilkan oleh sistem kami," kata OpenAI dalam pengumuman resminya.
Respons Komunitas dan Catatan Evaluasi
Penyampaian kemampuan Astra ini memicu diskusi hangat di berbagai platform digital seperti X, Bluesky, Reddit, Hacker News, dan komunitas ilmuwan. Pencapaian ini dinilai menandai pergeseran peran AI, dari sekadar merangkum informasi menjadi alat yang mampu menciptakan pengetahuan baru. Matematikawan dari University of Manchester, Thomas Bloom, menyebut pengumuman ini sebagai perkembangan penting melalui akun X miliknya. Meski begitu, ia menolak anggapan bahwa AI telah menggantikan peran manusia, mengingat Astra tetap dibangun di atas fondasi pengetahuan matematika yang dikembangkan manusia selama lebih dari satu abad.
Pihak OpenAI mengakui bahwa Astra belum berhasil menyelesaikan persoalan besar seperti Millennium Prize Problems. Informasi mengenai jadwal peluncuran publik, skema harga, maupun keterkaitannya dengan model GPT-5 atau GPT-6 juga belum diumumkan. Oleh sebab itu, 10 hasil temuan ini masih diposisikan sebagai kemajuan yang diklaim oleh OpenAI. Komunitas ilmiah internasional masih perlu menelaah lebih lanjut validitas serta signifikansi temuan tersebut sebelum menerimanya secara penuh.
