JBNews.id — 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.
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.
Baca Juga:
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.
- 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.
Angka biaya komputasi Rp 36 juta menjadi sorotan utama. Dengan tarif API Sol, seluruh proses penemuan 10 hasil matematika tersebut hanya membutuhkan biaya yang relatif kecil. Ini menunjukkan efisiensi komputasi yang signifikan dibandingkan metode tradisional.
AI Mulai Menemukan Ilmu Baru?
Pengumuman Astra memicu perbincangan di X, Bluesky, Reddit, Hacker News, dan komunitas matematika. Hasil tersebut dianggap menunjukkan AI mulai bergerak dari sekadar merangkum pengetahuan menjadi alat yang mampu menghasilkan temuan baru. Matematikawan University of Manchester Thomas Bloom di akun X miliknya menuliskan hal ini sebagai “berita besar”.
Namun, ia menolak anggapan bahwa AI telah sepenuhnya menggantikan matematikawan karena Astra dibangun menggunakan pengetahuan yang dikembangkan manusia selama lebih dari satu abad. OpenAI juga mengakui Astra belum berhasil menyelesaikan Millennium Prize Problems.
Jadwal peluncuran, harga, dan hubungan model ini dengan GPT-5 atau GPT-6 pun belum diumumkan. Karena itu, 10 hasil tersebut masih harus dipandang sebagai kemajuan yang diklaim OpenAI. Validitas dan signifikansinya perlu ditelaah lebih luas sebelum diterima sepenuhnya oleh komunitas ilmiah.
Implikasi dari pengumuman ini cukup luas. Jika klaim tersebut terbukti valid, Astra dapat menjadi alat baru bagi para peneliti untuk mempercepat penemuan ilmiah. Namun, komunitas ilmiah tetap menunggu verifikasi independen sebelum menarik kesimpulan.
Bagi industri teknologi, kemampuan Astra menunjukkan arah perkembangan AI yang semakin mendalam. Model ini tidak hanya mampu memproses data, tetapi juga menghasilkan argumen matematis yang kompleks. Hal ini dapat membuka peluang baru dalam berbagai bidang, termasuk kriptografi dan kompleksitas komputasi.
Perkembangan ini juga memunculkan pertanyaan tentang peran manusia dalam penelitian ilmiah. Meskipun Astra mampu menghasilkan temuan, manusia tetap dibutuhkan untuk memverifikasi dan menyusun hasil tersebut menjadi publikasi yang dapat dipertanggungjawabkan.
Komunitas matematika global kini menanti hasil penelaahan independen terhadap pembuktian yang dihasilkan Astra. Sertifikat Lean yang dirilis OpenAI menjadi dasar bagi para ahli untuk memeriksa validitas setiap argumen secara sistematis.
Pengumuman ini juga memicu diskusi tentang masa depan kolaborasi antara manusia dan AI dalam penelitian. Thomas Bloom menegaskan bahwa pengetahuan manusia selama satu abad menjadi fondasi bagi kemampuan Astra. Ini berarti AI tidak berdiri sendiri, melainkan dibangun di atas capaian ilmiah sebelumnya.
OpenAI belum memberikan informasi lebih lanjut mengenai jadwal rilis Astra ke publik. Ketidakjelasan ini membuat banyak pihak berspekulasi tentang posisi Astra dalam roadmap pengembangan model AI OpenAI. Beberapa pengamat mengaitkannya dengan kekhawatiran dominasi OpenAI di industri.
Sementara itu, persaingan di industri AI semakin ketat. Beberapa pihak menilai langkah OpenAI ini sebagai upaya mempertahankan posisi di tengah kemunculan peneliti AI China yang mulai mengisi ruang kosong. Namun, klaim ilmiah seperti ini tetap membutuhkan pembuktian yang ketat.
Dari sisi keamanan, kemampuan Astra yang dapat menghasilkan argumen matematis kompleks juga menimbulkan pertanyaan. Beberapa pihak khawatir teknologi ini dapat disalahgunakan. Diskusi tentang keamanan siber model OpenAI menjadi semakin relevan seiring meningkatnya kapabilitas model ini.
Hingga saat ini, publik masih menunggu verifikasi independen terhadap 10 hasil matematika yang diklaim OpenAI. Langkah selanjutnya adalah penelaahan oleh matematikawan profesional dan publikasi di jurnal ilmiah bereputasi. Hanya dengan begitu, klaim tersebut dapat diterima secara resmi oleh komunitas ilmiah.
Yang jelas, pengumuman ini menandai babak baru dalam pemanfaatan AI untuk penelitian fundamental. Dengan biaya komputasi yang relatif terjangkau, potensi penggunaan teknologi serupa untuk riset di berbagai bidang menjadi semakin terbuka lebar.
