OpenAI Astra Klaim Pecahkan 10 Masalah Matematika yang Lama Buntu

OpenAI memperkenalkan model AI terbaru bernama Astra yang belum dirilis ke publik. Astra diklaim mampu menyelesaikan 10 masalah matematika dan ilmu komputer teoretis yang telah lama mengalami kebuntuan, termasuk bidang geometri dimensi tinggi, teori pengkodean, dan kriptografi berbasis kisi. Pengumuman ini dilakukan pada 1 Agustus 2026.

Pembuktian dihasilkan oleh Astra dan diformalkan menjadi sertifikat Lean untuk verifikasi logis secara sistematis. Biaya komputasi seluruh token diperkirakan hanya sekitar USD 2.000 atau Rp 36 juta. OpenAI telah merilis makalah, sertifikat, dan uraian proses agar dapat diperiksa secara independen oleh komunitas ilmiah.

Hasil ini memicu perbincangan luas di media sosial, dengan sebagian pihak menyebutnya sebagai berita besar, namun juga menekankan bahwa Astra dibangun atas pengetahuan manusia selama lebih dari satu abad. Astra belum berhasil menyelesaikan Masalah Hadiah Milenium, dan detail peluncuran serta validitas klaim masih perlu ditelaah lebih lanjut sebelum diterima sepenuhnya.