OpenAI Math: 722 Manuskrip Matematika dari Model AI Internal

Tiga jam. Menurut OpenAI, itulah rata-rata komputasi yang dihabiskan model internalnya untuk satu hasil matematika, setara tiga jam "berpikir" ChatGPT Pro. 

Dengan skala seperti itu, OpenAI mengunggah 722 manuskrip matematika ke GitHub pada 6 Oktober 2026 dalam rilis yang disebut OpenAI Math. Isinya hasil riset yang diklaim berasal dari model AI yang belum dirilis ke publik, dan kini menunggu diperiksa para matematikawan.

Key Takeaways

• OpenAI merilis 722 manuskrip dalam 372 keluarga hasil di repositori openai/math, berlisensi Apache-2.0.
• Banyak bukti disertai formalisasi Lean yang bisa diperiksa komputer, tetapi tidak semuanya. OpenAI sendiri mengingatkan bahwa hasil yang belum diformalkan mungkin bermasalah.
• Verifikasi independen oleh komunitas matematika masih berjalan, dan sebagian pihak mempertanyakan cara rilisnya.

Apa yang Dirilis OpenAI di Repositori Math

Menurut OpenAI, rilis ini berisi beragam hasil matematika baru yang dihasilkan "model frontier internal". Semuanya diunggah ke repositori GitHub openai/math. 

Unite.AI merinci isinya: 722 manuskrip yang dikelompokkan ke dalam 372 keluarga. Satu keluarga memuat makalah terkait, misalnya hasil utama, argumen pendamping, konsekuensi, atau bukti alternatif.

Setiap keluarga diklasifikasikan menurut cabang matematikanya. Direktori preprint menyimpan PDF, berkas sumber, dan petunjuk kutipan, sedangkan katalog formalisasi menjelaskan bukti formal yang tersedia. Seluruh koleksi dirilis dengan lisensi Apache-2.0.

Baca Juga: BIS Ungkap Potensi Baru XRP Ledger untuk Sistem Keuangan Digital

Di antara semua hasil itu, dua disebut khusus oleh README repositori. Pertama, pekerjaan soal wilayah bebas nol untuk fungsi zeta Riemann. Kedua, bukti Konjektur Hodge untuk varietas abelian CM.

Penting dicatat, hasil soal zeta Riemann ini bukan pembuktian hipotesis Riemann yang terkenal itu. Menurut Gadget Review, klaimnya menyangkut wilayah bebas nol, yang lebih lemah daripada hipotesis klasiknya.

Kalau Anda mengikuti perkembangan AI dan mulai tertarik mengenal aset digital, Anda bisa mendaftar di Bittime, exchange kripto Indonesia yang terdaftar dan diawasi OJK.

Cara Hasil OpenAI Math Dibuat

Mayoritas besar hasil diperoleh dengan prosedur yang sama, menurut README yang dikutip Unite.AI. Selama evaluasi, model diberi sekitar 4.000 masalah. Rata-rata satu hasil memakai komputasi setara tiga jam ChatGPT Pro.

OpenAI mengaku memperluas evaluasi ini setelah kinerja pada evaluasi matematika yang ada mencapai titik jenuh. Beberapa keluaran juga dibangun di atas hasil sebelumnya dari model yang sama.

Untuk transparansi, repositori memuat tiga hal tambahan:

• 10 ringkasan penalaran model.
• Estimasi komputasi dalam ukuran penggunaan ChatGPT Pro.
• Statistik jumlah masalah yang dicoba.

Sepuluh ringkasan penalaran itu menyentuh topik yang beragam, dari eksponen irasionalitas π hingga formula spin glass dan sistem Vlasov–Maxwell relativistik. Tulisan soal wilayah bebas nol fungsi zeta juga disebut diedit manusia agar lebih mudah dibaca.

Baca Juga: Tokenized Stock Populer 2026: Saham Teknologi Jadi Favorit Investor

Bukti Lean dan Batas Verifikasinya

Lean adalah bahasa pemrograman yang memungkinkan bukti matematika diperiksa oleh komputer. Banyak manuskrip di repositori memiliki formalisasi pendamping dalam Lean, dan OpenAI berjanji menambah formalisasi seiring waktu.

Tidak semua hasil sudah diformalkan. README mengingatkan bahwa sebagian yang belum diformalkan mungkin memiliki masalah, dan OpenAI menyatakan akan memperbaikinya dengan cepat. Perbaikan dicatat sebagai versi baru, sementara versi lama tetap bisa diakses.

Jadi, formalisasi Lean membantu membuktikan bahwa langkah-langkah logikanya sahih. Namun hasil tanpa formalisasi masih bergantung pada pemeriksaan manusia, dan di situlah pekerjaan terbesar menanti.

Baca Juga: 10+ Coin AI Terbaik 2026: Ini Daftar Crypto Bertema Artificial Intelligence! 

Rekomendasi Kelompok Penasihat IAS

Sebelum rilis, OpenAI mengaku berkonsultasi dengan Advisory Group on Mathematics and Artificial Intelligence (AGMAI) di Institute for Advanced Study. 

Kelompok itu menerbitkan rekomendasi rilis bertanggung jawab pada 29 September 2026, setelah menerima lebih dari 600 tanggapan komunitas matematika, menurut Unite.AI.

Isi rekomendasinya cukup tegas. Hasil sebaiknya disimpan di repositori ilmiah yang tidak dikendalikan lab AI mana pun dan tidak dijadikan sarana pemasaran model. 

Untuk setiap hasil, laboratorium diminta membuka nama model, prompt, rangkuman penalaran, waktu pengerjaan, dan perkiraan biaya komputasi. Rilis massal juga perlu dilengkapi dokumen yang menjelaskan berapa masalah setara yang dicoba tetapi gagal diselesaikan.

Baca Juga: 10 Tokenisasi Aset Kripto RWA Terbesar di Dunia

OpenAI mengatakan memakai saran kelompok itu sebagai acuan. Meski begitu, rilis ini belum memenuhi semuanya. Repositori masih berada di GitHub milik OpenAI, dan OpenAI sendiri menyebut masih mencari alternatif hosting yang dikelola komunitas. 

Ringkasan penalaran juga baru tersedia untuk 10 hasil, sedangkan model dan prompt lengkapnya belum dipublikasikan. Gadget Review mencatat bahwa rilis ini tidak sepenuhnya mengadopsi rekomendasi tersebut.

Latar Belakang: Dari Navier–Stokes ke 722 Manuskrip

Frasa "model frontier internal" dalam pengumuman ini merujuk pada pengumuman OpenAI tanggal 8 September 2026. 

Saat itu OpenAI menyatakan modelnya menghasilkan bukti, lengkap dengan formalisasi Lean, bahwa aliran fluida tiga dimensi yang halus menurut persamaan Navier–Stokes dapat membentuk singularitas dalam waktu terbatas. 

Masalah ini termasuk satu dari Tujuh Masalah Hadiah Milenium, dan OpenAI menyatakan tidak berniat mengklaim hadiahnya, menurut Unite.AI.

Klaim sebesar itu memancing perdebatan soal cara memverifikasi dan memberi kredit pada bukti buatan AI. Rilis 722 manuskrip datang setelah perdebatan tersebut, menurut Inside AI.

Baca Juga: Bittime Soroti Penguatan Custody Kripto dan Keamanan Perdagangan Futures

Kekhawatiran dari Komunitas Matematika

Rilis sebesar ini membuat para ahli berhati-hati. IBTimes melaporkan bahwa matematikawan mempertanyakan soal pemberian kredit atas hasil AI, cara memverifikasi volume sebanyak itu, dan kemungkinan banjir makalah AI membebani sistem peer review.

Menurut Gadget Review, verifikasi luas oleh komunitas matematika belum terbentuk, dan ketiadaan akses ke model serta prompt persisnya menyulitkan pemeriksaan. Karena itu, hingga kini klaim OpenAI sebaiknya dibaca sebagai "menurut OpenAI", bukan sebagai masalah yang sudah dipastikan terpecahkan.

OpenAI mengatakan akan mendanai lokakarya, konferensi, dan program khusus untuk memahami hasil-hasil besar buatan AI, dan berupaya merilis model itu secara bertanggung jawab. Rinciannya akan diumumkan kemudian.

Baca Juga: 9 Kelebihan Investasi Emas Digital yang Menguntungkan 2026 (XAUT & PAXG)

Kesimpulan

OpenAI Math adalah rilis 722 manuskrip dalam 372 keluarga hasil dari model AI internal OpenAI. Hasilnya diklaim menyentuh masalah riset terbuka, dengan formalisasi Lean pada banyak bukti dan sejumlah ringkasan penalaran.

Meski ukurannya besar, nilai ilmiahnya baru bisa dipastikan setelah komunitas matematika memeriksanya. Hasil tanpa formalisasi masih memerlukan peninjauan manusia, dan cara rilisnya belum sepenuhnya selaras dengan rekomendasi AGMAI. Pantau perkembangan verifikasinya dari sumber resmi dan liputan terpercaya.

Cek harga Bitcoin (BTC), Ethereum (ETH), XRP, Solana (SOL), GRAM, dan BNB juga memecoin unggulan DOGE. Kamu bisa trading langsung di Bittime!

Bittime adalah platform Pedagang Aset Keuangan Digital (PAKD) berizin dan diawasi oleh Otoritas Jasa Keuangan — tempat kamu bisa beli Bitcoin di Indonesia dan ratusan aset kripto lainnya mulai Rp10.000. Proses registrasi cepat, aman, dan bisa langsung dimulai hari ini.

Pantau konversi USDT to IDR dan pergerakan harga aset kripto favoritmu secara real-time. Semua tersedia dalam satu aplikasi investasi kripto yang bisa diunduh gratis di Play Store.

Siap mulai? Daftar sekarang di Bittime dan eksekusi strategi investasimu dengan platform yang sudah dipercaya jutaan pengguna di Indonesia.

FAQ

1. Apa itu OpenAI Math?
OpenAI Math adalah repositori GitHub openai/math yang berisi 722 manuskrip matematika dalam 372 keluarga hasil. Seluruhnya dihasilkan model AI internal OpenAI yang belum dirilis.

2. Apakah OpenAI sudah memecahkan masalah matematika besar?
OpenAI mengklaim ada hasil yang menyentuh masalah riset terbuka, tetapi verifikasi luas oleh komunitas matematika belum terbentuk. Klaim ini sebaiknya dibaca sebagai "menurut OpenAI".

3. Berapa lama model mengerjakan tiap hasil?
Rata-rata satu hasil memakai komputasi setara sekitar tiga jam "berpikir" ChatGPT Pro. Angka ini berasal dari OpenAI.

4. Apa itu bukti Lean?
Lean adalah bahasa pemrograman yang memungkinkan bukti matematika diperiksa oleh komputer. Banyak manuskrip di repositori memilikinya, tetapi tidak semuanya.

5. Apakah semua hasilnya sudah terverifikasi?
Belum. README repositori mengingatkan bahwa hasil yang belum diformalkan mungkin memiliki masalah.

6. Apakah ini sama dengan membuktikan hipotesis Riemann?
Tidak. Hasil yang disebut menyangkut wilayah bebas nol fungsi zeta, yang lebih lemah daripada hipotesis Riemann klasik.

7. Siapa AGMAI?
AGMAI adalah kelompok penasihat independen untuk matematika dan AI di Institute for Advanced Study. Mereka menerbitkan rekomendasi rilis hasil AI pada 29 September 2026.

8. Di mana hasilnya bisa diakses?
Seluruh manuskrip tersedia di repositori GitHub openai/math dengan lisensi Apache-2.0.