OpenAI Pamer Kemampuan Astra Garap 10 Temuan Matematika Rumit

Kemampuan model kecerdasan buatan (AI) terbaru bernama Astra yang belum dirilis secara publik resmi dipamerkan oleh OpenAI. Terobosan ini disebut berhasil mencatatkan 10 kemajuan di bidang matematika serta ilmu komputer teoretis, seperti dilansir dari Detik iNET.

Pengumuman yang dirilis pada 1 Agustus 2026 tersebut mencakup pemecahan persoalan yang sempat mengalami kebuntuan. Bidang yang terdampak meliputi geometri dimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi berbasis kisi, hingga kombinatorika ekstremal.

Proses penyusunan argumen matematika untuk seluruh temuan tersebut murni dikerjakan oleh Astra versi internal. Keterlibatan manusia hanya sebatas membantu menyusun hasilnya menjadi makalah ilmiah menggunakan model AI yang sama.

Sistem kemudian memformalkan setiap pembuktian menjadi sertifikat Lean. Kehadiran sertifikat ini memungkinkan komputer memeriksa struktur serta konsistensi logis dari seluruh pembuktian secara sistematis.

Efisiensi biaya komputasi yang dibutuhkan untuk eksperimen ini juga menjadi sorotan. Estimasi penggunaan seluruh token untuk menemukan 10 hasil tersebut hanya menghabiskan biaya sekitar USD 2.000 atau setara Rp 36 juta berdasarkan tarif API Sol.

Rangkaian hasil temuan yang telah dipublikasikan oleh pihak pengembang mencakup berbagai terobosan penting:

• Batas atas baru untuk kepadatan susunan bola berdimensi tinggi.
• Peningkatan batas ukuran kode biner dan kode bola berdimensi tinggi.
• Konstruksi yang menunjukkan keberadaan kelompok non-sofic.
• Bantahan terhadap dugaan kekakuan Connes.
• Batas bawah baru dalam kompleksitas sirkuit aritmatika.
• Teorema pengulangan paralel untuk permainan kuantum dua pemain.
• Tingkat kesulitan pendekatan masalah vektor terdekat.
• Penyelesaian dugaan volume Ehrhart pada setiap dimensi.
• Batas bawah super-eksponensial untuk bilangan Ramsey multicolor.
• Hasil baru mengenai dugaan kekompakan dan degenerasi graf ekstremal.

Akses ke makalah, sertifikat Lean, hingga penjelasan rinci mengenai proses pembuatan setiap hasil telah dibuka oleh perusahaan. Langkah ini bertujuan agar para matematikawan di seluruh dunia dapat melakukan verifikasi pembuktian secara mandiri.

"Argumen matematikanya sendiri dihasilkan oleh sistem kami," kata OpenAI dalam pengumuman resminya.

Respons Komunitas Ilmiah dan Batasan Model

Publikasi ini langsung memicu diskusi hangat di berbagai platform digital seperti X, Bluesky, Reddit, Hacker News, serta forum komunitas matematika. Pencapaian ini dinilai sebagai sinyal awal perubahan peran AI dari sekadar merangkum informasi menjadi alat yang mampu menghasilkan pengetahuan baru.

Matematikawan dari University of Manchester, Thomas Bloom, menyebut pengumuman ini sebagai berita besar. Namun, dirinya menyoroti bahwa kehadiran teknologi ini belum menggantikan peran matematikawan sepenuhnya karena Astra tetap dibangun berlandaskan akumulasi ilmu pengetahuan manusia selama lebih dari satu abad.

Keterbatasan juga disampaikan secara terbuka oleh pihak pengembang, di mana Astra tercatat belum mampu menyelesaikan Millennium Prize Problems. Selain itu, rincian mengenai jadwal peluncuran, skema harga, serta keterikatannya dengan lini GPT-5 atau GPT-6 masih belum diungkapkan ke publik.

Komunitas ilmiah pun masih menempatkan 10 hasil tersebut sebagai klaim pencapaian. Evaluasi yang lebih mendalam dan luas masih diperlukan sebelum seluruh pembuktian tersebut diterima secara penuh oleh kalangan akademisi.