OpenAI Perkenalkan Astra, Model AI Baru yang Berhasil Pecahkan 10 Masalah Matematika Puluhan Tahun

OpenAI mengungkap keberadaan Astra, model kecerdasan buatan (AI) generasi berikutnya yang dirancang untuk menangani tugas-tugas kompleks dalam jangka waktu panjang.

Dalam publikasi riset terbarunya, OpenAI mengklaim bahwa versi internal Astra berhasil menghasilkan 10 terobosan penting di bidang matematika dan ilmu komputer teoretis, termasuk menyelesaikan sejumlah persoalan yang selama puluhan tahun belum menemukan kemajuan berarti.

Dirancang untuk Menyelesaikan Masalah Jangka Panjang

OpenAI menyebut Astra sebagai “our next major model” atau model AI besar berikutnya yang sedang mereka kembangkan.

Menurut perusahaan, seluruh permasalahan yang berhasil diselesaikan memiliki karakteristik serupa, yaitu tidak mengalami perkembangan signifikan terhadap hasil utamanya selama setidaknya 10 tahun, bahkan sebagian besar jauh lebih lama.

Model ini dikembangkan untuk membantu menyelesaikan persoalan yang membutuhkan penalaran mendalam, eksplorasi berbagai pendekatan, dan waktu komputasi yang jauh lebih panjang dibandingkan model AI saat ini.

Berhasil Memberikan Terobosan di Berbagai Bidang Matematika

OpenAI mengatakan penelitian internal menggunakan Astra mencakup berbagai cabang matematika dan ilmu komputer teoretis, di antaranya:

• Geometri berdimensi tinggi (High-dimensional Geometry).
• Coding Theory.
• Arithmetic Circuit Complexity.
• Group Theory.
• Quantum Complexity.
• Lattice Cryptography.
• Extremal Combinatorics.

Perusahaan juga menyebut Astra menunjukkan perkembangan yang sangat cepat dalam bidang penelitian ilmiah secara umum.

Menyelesaikan Sejumlah Masalah yang Terkenal

Beberapa pencapaian yang disebutkan OpenAI meliputi:

• Membuktikan keberadaan non-sofic groups.
• Menyangkal (disprove) Connes’s Rigidity Conjecture.
• Menemukan batas baru (new bounds) untuk high-dimensional sphere packing.
• Menyelesaikan beberapa persoalan yang diajukan matematikawan legendaris Paul Erdős.

OpenAI tidak merinci seluruh sepuluh masalah tersebut, namun menyatakan semuanya merupakan persoalan yang telah lama menjadi tantangan bagi komunitas matematika.

Biaya Komputasi Diperkirakan Sekitar US$2.000

Menurut OpenAI, jumlah token yang dibutuhkan Astra untuk menemukan seluruh solusi tersebut diperkirakan setara dengan biaya sekitar US$2.000 apabila dihitung menggunakan tarif API GPT-5.6 Sol.

Angka tersebut hanya menggambarkan kebutuhan komputasi model selama proses pencarian solusi.

Seluruh Pembuktian Diverifikasi Secara Formal

Setelah Astra menghasilkan solusi matematis, para peneliti manusia menyusun argumen tersebut menjadi naskah ilmiah.

Selanjutnya Astra mengubah seluruh pembuktian itu menjadi sertifikat Lean (Lean certificate).

Lean merupakan sistem verifikasi matematika formal yang digunakan untuk memastikan setiap langkah pembuktian dapat diperiksa secara otomatis oleh komputer.

Dengan proses ini, hasil yang diperoleh tidak hanya berupa dugaan matematis, tetapi juga telah melalui proses verifikasi formal.

Astra Dirancang untuk AI Agent

Laporan terpisah dari The Information menyebutkan bahwa Astra merupakan keluarga model AI baru yang memang dirancang untuk menangani pekerjaan berdurasi panjang.

Menurut OpenAI, Astra memungkinkan beberapa AI agent bekerja secara bersamaan pada bagian-bagian berbeda dari sebuah persoalan besar, kemudian menggabungkan hasilnya menjadi satu solusi.

Pendekatan ini dinilai lebih efektif untuk menangani penelitian dan tugas kompleks yang tidak dapat diselesaikan hanya dengan satu proses inferensi.

Bisa Hadir Sebagai GPT-5.7 atau GPT-6

Hingga saat ini OpenAI belum memastikan nama komersial Astra.

BleepingComputer melaporkan bahwa perusahaan masih mempertimbangkan beberapa kemungkinan, antara lain:

• GPT-5.7
• GPT-6
• Nama baru di luar keluarga GPT

Belum ada keputusan resmi mengenai penamaan maupun jadwal peluncurannya.

Kemungkinan Mengikuti Kebijakan Seperti Anthropic

Laporan tersebut juga menyebutkan bahwa Astra kemungkinan akan mengikuti pendekatan serupa dengan Anthropic.

Artinya, OpenAI dapat merilis:

• Versi standar yang tersedia untuk publik.
• Versi yang jauh lebih canggih dengan akses terbatas dan memerlukan persetujuan khusus.

Namun hingga kini OpenAI belum mengonfirmasi skema distribusi tersebut.

OpenAI Semakin Fokus pada AI untuk Penelitian

Pengumuman Astra menunjukkan arah pengembangan OpenAI yang semakin berfokus pada penggunaan AI untuk penelitian ilmiah dan pemecahan masalah yang sebelumnya hanya dapat dikerjakan oleh para peneliti manusia dalam waktu bertahun-tahun.

Meski demikian, perusahaan belum mengumumkan kapan Astra akan tersedia bagi pengguna umum maupun pengembang.