OpenAI Klaim AI Astra Berhasil Pecahkan 10 Masalah Matematika yang Belum Terjawab

AKURAT.CO OpenAI mengumumkan model kecerdasan buatan (AI) terbaru bernama Astra yang diklaim berhasil menyelesaikan 10 persoalan matematika dan ilmu komputer teoretis. Masalah tersebut telah menjadi tantangan bagi para peneliti selama lebih dari satu dekade.

"Saat ini kami sedang melatih model baru yang fokus utamanya adalah meningkatkan tingkat ketelitian dalam pemikirannya, dengan tujuan agar model tersebut dapat berpikir terus menerus," ujar James R. Lee selaku Peneliti OpenAI, Penalaran.

Dalam laporannya, OpenAI menjelaskan Astra berhasil menyelesaikan persoalan di bidang kriptografi, kompleksitas kuantum, hingga geometri. Pembuktian tersebut divalidasi menggunakan Lean, perangkat lunak yang banyak dipakai untuk memeriksa bukti matematika.

Salah satu pencapaian Astra adalah membangun non-sofic groups serta memberikan kemajuan pada sejumlah persoalan yang berkaitan dengan matematikawan Paul Erdos. Berbeda dari jawaban AI biasa, setiap solusi dilengkapi bukti yang dapat diverifikasi secara otomatis.

Dikutip dari situs resmi OpenAI, Senin (3/8/2026), hasil yang dibuat Astra kemudian disusun menjadi naskah penelitian bersama para peneliti. Perusahaan menegaskan AI berfungsi sebagai alat bantu untuk mempercepat riset, bukan menggantikan peran ilmuwan.

Keberhasilan ini memicu pembahasan baru mengenai kemampuan AI dalam mendukung penelitian ilmiah. Sejumlah pihak menilai teknologi tersebut berpotensi mempercepat proses penemuan di berbagai bidang.

CEO OpenAI Sam Altman sebelumnya pernah menyampaikan bahwa AI dapat mempercepat kemajuan sains. Meski demikian, ia tetap menilai kolaborasi antara manusia dan AI masih menjadi faktor penting.

Di sisi lain, kalangan akademisi masih bersikap hati-hati terhadap klaim tersebut. Mereka menilai seluruh hasil tetap harus melalui peninjauan independen sebelum diterima sebagai temuan ilmiah.

Bagi industri teknologi, pencapaian Astra menunjukkan AI mulai berkembang melampaui kemampuan menghasilkan teks dan gambar. Model seperti ini dinilai berpotensi membantu riset di bidang kriptografi, komputasi kuantum, dan disiplin ilmu lainnya.

Meski begitu, manfaat nyata Astra masih bergantung pada hasil verifikasi komunitas matematika global. Jika terbukti akurat, kemampuan tersebut dapat membuka peluang baru bagi pemanfaatan AI dalam penelitian dan industri.