OpenAI memperkenalkan kemampuan Astra, model kecerdasan buatan (AI) terbaru yang belum dirilis ke publik.
Astra diklaim menghasilkan 10 kemajuan dalam matematika dan ilmu komputer teoretis, termasuk persoalan yang telah lama mengalami kebuntuan.
>>> Misi NASA Selamatkan Teleskop Swift Terancam Gagal
Hasil yang diumumkan pada 1 Agustus 2026 itu mencakup geometri dimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi berbasis kisi, dan kombinatorika ekstremal.
Menurut OpenAI, argumen matematika untuk temuan tersebut dihasilkan oleh versi internal Astra.
Manusia kemudian membantu menyusun hasilnya menjadi makalah menggunakan model AI yang sama.
Setiap pembuktian turut diformalkan menjadi sertifikat Lean.
Dengan sertifikat tersebut, komputer dapat memeriksa struktur dan konsistensi logis pembuktian secara sistematis.
Hal yang tak kalah menarik adalah biaya komputasinya.
OpenAI memperkirakan seluruh token untuk menemukan 10 hasil tersebut hanya menghabiskan sekitar USD 2.000 atau setara Rp 36 juta berdasarkan tarif API Sol.
Sepuluh Kemajuan Matematika Astra
Berikut hasil yang dipublikasikan OpenAI:
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.
>>> Indonesia vs Vietnam: Trio Brasil Ancaman untuk Garuda
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.
OpenAI telah merilis makalah, sertifikat Lean, dan uraian proses untuk setiap hasil.
Dokumen tersebut memungkinkan para matematikawan memeriksa pembuktian Astra secara independen.
"Argumen matematikanya sendiri dihasilkan oleh sistem kami," kata OpenAI dalam pengumuman resminya.
