OpenAI Perkenalkan Astra Model AI untuk Temuan Matematika Teoretis

Model kecerdasan buatan terbaru bernama Astra resmi diperkenalkan oleh OpenAI pada Sabtu (1/8/2026) setelah diklaim berhasil menghasilkan 10 kemajuan signifikan dalam matematika dan ilmu komputer teoretis. Pencapaian ini diumumkan langsung oleh pihak pengembang sebagaimana dilansir dari Detik iNET.

Pengembangan Astra difokuskan pada penyelesaian sejumlah persoalan rumit yang telah lama mengalami kebuntuan. Bidang yang berhasil ditembus meliputi geometri dimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi berbasis kisi, hingga kombinatorika ekstremal.

Proses perumusan argumen matematika tersebut dilakukan oleh versi internal Astra, sementara pembantu dari pihak manusia menyusun hasilnya menjadi makalah. Setiap hasil pembuktian juga diformalkan menjadi sertifikat Lean agar dapat diperiksa struktur serta konsistensi logisnya secara sistematis oleh komputer.

Dari sisi efisiensi biaya komputasi, OpenAI memperkirakan total token untuk menemukan seluruh 10 hasil tersebut hanya menghabiskan sekitar USD 2.000 atau setara Rp 36 juta berdasarkan tarif API Sol.

Rincian 10 kemajuan yang dipublikasikan mencakup batas atas baru kepadatan susunan bola berdimensi tinggi, peningkatan batas ukuran kode biner dan kode bola berdimensi tinggi, serta konstruksi yang menunjukkan keberadaan kelompok non-sofic. Astra juga menghasilkan bantahan terhadap dugaan kekakuan Connes dan batas bawah baru dalam kompleksitas sirkuit aritmatika.

Selain itu, temuan ini memuat 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, hingga hasil baru mengenai dugaan kekompakan dan degenerasi graf ekstremal.

Akses ke publikasi makalah, sertifikat Lean, dan uraian proses telah dibuka untuk memungkinkan para matematikawan memeriksa pembuktian tersebut secara independen.

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

Peluncuran hasil tersebut memicu respons luas di platform X, Bluesky, Reddit, Hacker News, dan komunitas ilmiah. Para peneliti menilai AI mulai bergeser dari sekadar alat perangkum pengetahuan menjadi penghasil temuan baru.

"berita besar," kata Thomas Bloom, Matematikawan University of Manchester melalui akun X miliknya.

Meski demikian, Thomas Bloom menolak anggapan bahwa AI telah sepenuhnya menggantikan peran manusia. Menurutnya, sistem seperti Astra tetap dibangun menggunakan fondasi pengetahuan yang dikembangkan manusia selama lebih dari satu abad.

Di sisi lain, OpenAI mengakui Astra belum berhasil memecahkan Millennium Prize Problems. Hingga kini jadwal peluncuran publik, harga, serta keterkaitannya dengan model GPT-5 atau GPT-6 belum diumumkan, sehingga 10 temuan tersebut masih memerlukan penelaahan lebih lanjut oleh komunitas ilmiah.