Sepuluh Masalah, Beberapa Terbuka Selama Puluhan Tahun
Pada tanggal 1 Agustus 2026, OpenAI menerbitkan postingan penelitian berjudul "Sepuluh kemajuan dalam matematika dan ilmu komputer teoretis", yang merinci solusi yang dihasilkan sistem Astra. Menurut the-decoder, perusahaan menggunakan pengumuman tersebut untuk memperkenalkan Astra sebagai model besar berikutnya. Startup Fortune melaporkan bahwa sepuluh masalah tersebut sebelumnya belum terpecahkan, dan salah satu hasil yang paling menonjol adalah penolakan terhadap Connes' Rigidity Conjecture — sebuah masalah yang berakar kuat pada aljabar operator dan teori grup.
Beberapa dari masalah yang ditargetkan telah terbuka selama lebih dari satu dekade, dan satu outlet, 36Kr, mengkarakterisasi beberapa di antaranya sebagai tingkat kesulitan "Fields Medal". Skala klaim tersebut telah menarik perhatian karena hasil matematis, tidak seperti kebanyakan tolok ukur AI, pada prinsipnya dapat diperiksa secara ketat. OpenAI dilaporkan menyediakan pekerjaan tersebut melalui alat verifikasi formal dan repositori publik, sehingga memungkinkan ahli matematika independen untuk meneliti bukti-bukti daripada mempercayainya.
Tagihan Hitung ~$2.000
Salah satu detail yang paling mencolok adalah biayanya. Startup Fortune dan XenoSpectrum keduanya melaporkan bahwa model tersebut memecahkan sepuluh masalah terbuka dengan biaya komputasi sekitar $2.000 — hanya sebagian kecil dari biaya yang biasanya dikeluarkan untuk menjalankan pelatihan skala frontier. Angka tersebut, jika akurat, menggarisbawahi sejauh mana efisiensi penalaran waktu inferensi telah berkembang: bagian yang mahal dari AI modern adalah pelatihan, bukan penyelesaian setiap masalah.
Hasilnya didasarkan pada penelitian OpenAI yang diungkapkan sebelumnya pada tahun 2026, ketika model penalaran internal menyangkal dugaan jarak satuan bidang, sebuah permasalahan yang diajukan oleh ahli matematika Paul Erdős pada tahun 1946. Hasil sebelumnya tersebut menyentuh teori bilangan aljabar, termasuk menara medan kelas tak hingga dan teori Golod–Shafarevich. Pengumuman Astra memperluas penelitian tersebut ke dalam serangkaian pertanyaan terbuka yang lebih luas.
Ditunjukkan kepada Senator di Washington
Waktu pengungkapannya memang disengaja. The Information melaporkan secara eksklusif bahwa OpenAI melakukan pratinjau model Astra di Washington, D.C., dan Yellow.com mencatat bahwa demonstrasi tersebut dilakukan "beberapa hari sebelum kerangka peninjauan 30 hari dilaksanakan" — merujuk pada semakin berkembangnya pengawasan peraturan terhadap sistem AI baru yang kuat. CEO Sam Altman secara pribadi memberi pengarahan kepada senator AS tentang model tersebut, menurut Startup Fortune.
Pratinjau Washington penting karena memposisikan Astra tidak hanya sebagai tonggak teknis tetapi juga tonggak politik. Ketika anggota parlemen memperdebatkan cara mengatur model perbatasan setelah insiden keamanan siber baru-baru ini – termasuk agen AI yang lolos dari kotak pasir mereka selama pengujian – OpenAI menyatakan bahwa sistemnya yang paling canggih dapat menjadi kuat dan cukup aman untuk dibagikan kepada regulator sebelum dirilis ke publik.
Apakah Ini GPT-6?
OpenAI belum secara resmi mengonfirmasi bahwa Astra akan diluncurkan sebagai GPT-6, namun Startup Fortune melaporkan bahwa perusahaan tersebut "mempertimbangkan pengirimannya sebagai GPT-6". The News International mendeskripsikan Astra sebagai peluncuran "seri model baru", sementara KuCoin mencirikannya sebagai model "untuk tugas jangka panjang" — menunjukkan penekanan pada penalaran agen yang berkelanjutan dan bukan jawaban yang cepat dan instan.
Pembingkaian tersebut selaras dengan poros industri menuju apa yang disebut agen jangka panjang: sistem yang dirancang untuk mengatasi masalah sulit dalam jangka waktu lama, menggunakan alat dan verifikasi, bukan hanya menjawab dalam sekali jalan. Hasil matematikanya, pada dasarnya, menunjukkan bahwa pendekatan ini dapat menghasilkan pengetahuan yang benar-benar baru.
Apa Artinya Bagi Penelitian AI
Hasil Astra muncul di tengah perdebatan sengit mengenai apakah alasan AI benar-benar masuk akal atau hanya meyakinkan. Jika bukti-bukti tersebut sesuai dengan verifikasi formal dan tinjauan sejawat, maka hal tersebut akan mewakili sebuah langkah berarti di luar pencocokan pola – menunjukkan bahwa sistem ini dapat berkontribusi pada matematika sebagai disiplin penelitian, bukan sekadar menirunya.
Mereka yang skeptis memperingatkan bahwa pekerjaan tersebut masih memerlukan validasi independen, dan bahwa "memecahkan" masalah dalam pengertian formal berbeda dengan pemahaman ahli matematika tentang mengapa suatu hasil benar. Namun kombinasi dari biaya komputasi yang rendah, verifikasi formal, dan rilis publik memberikan komunitas yang lebih luas alat untuk memeriksa klaim OpenAI.
Untuk saat ini, Astra masih belum dirilis ke publik. Yang jelas adalah bahwa OpenAI memperlakukan matematika sebagai ajang pembuktian baru bagi AI terdepan – dan mengundang regulator, serta peneliti, untuk mengamati dengan cermat.
Tetap Terdepan dalam AI
Garis depan penelitian AI bergerak cepat, dengan terobosan baru setiap minggunya. Ikuti setiap kemajuan besar melalui cakupan industri AI.
Baca berita AI selengkapnya →
