722 Manuskrip Matematika OpenAI: Model di Baliknya Tanpa Nama, Tanpa Harga, dan Tanpa API

Pada 21:47 UTC tanggal 6 Oktober 2026, sebuah repositori bernama openai/math muncul di GitHub tanpa deskripsi dan dengan commit awal. Empat belas menit kemudian OpenAI mempostingnya ke X dan membuat halaman pendamping, "Berbagi kemajuan AI dalam matematika." Bersama-sama, kedua hal itu menggambarkan peristiwa tanpa preseden: 722 manuskrip matematika, dikelompokkan ke dalam 372 keluarga, dihasilkan oleh model frontier internal yang belum diberi nama oleh OpenAI, belum diberi harga, dan tidak dapat dipanggil dari API mana pun. Model-model yang berada di bawahnya adalah model yang benar-benar dapat Anda akses hari ini — GPT-6 Astra dengan $10 / $50 per juta token dan GPT-6.1 Sol dengan $2 / $10 — dan tidak satu pun dari keduanya yang menulis makalah-makalah ini. OpenAI mengatakan model yang melakukannya masih dalam pelatihan, dan bahwa pihaknya sedang berupaya "merilisnya secara bertanggung jawab". Inilah yang sejauh ini terverifikasi, apa yang tidak, dan satu pertanyaan yang seharusnya diambil pembaca darinya.

Mulailah dari apa yang bukan merupakan rilis ini. Ini bukan peluncuran model: tidak ada kartu model, tidak ada pengenal, tidak ada jendela konteks, tidak ada tabel benchmark, tidak ada tanggal. Ini bukan makalah: tidak ada apa pun di sini yang telah ditinjau sejawat, dan OpenAI menyatakan secara terang-terangan bahwa hasil tanpa formalisasi Lean "dapat bermasalah." Dan ini bukan kebocoran — alasan tulisan ini disusun dengan kerangka "sejauh yang kita ketahui saat ini" bukanlah karena materinya bersifat rahasia, melainkan karena subjeknya sendiri, yaitu modelnya, belum dirilis. Semua hal lain di bawah ini dapat diperiksa terhadap repositori, postingan OpenAI sendiri, dan kelompok penasihat yang menurut OpenAI telah mereka konsultasikan.

Apa yang sebenarnya mendarat pada 6 Oktober

Repositori ini bersifat publik, berlisensi Apache-2.0, dan ditulis dalam Lean. README-nya menyatakan bahwa katalog tersebut "berisi 722 manuskrip yang diorganisasi menjadi 372 keluarga," di mana sebuah keluarga mengelompokkan hasil utama dengan argumen pendamping, konsekuensi, atau bukti alternatif. Peta manuskrip tersebut cukup rinci untuk diaudit: 372 keluarga, masing-masing dengan hasil utama, dicantumkan bersama makalah-makalah penyusunnya dan, jika tersedia, tautan formalisasi Lean.

Posting OpenAI menambahkan angka provenans, yang merupakan miliknya sendiri dan tidak diaudit secara independen:

• Masalah yang diajukan — sekitar 4.000, yang darinya keluarga yang dirilis dipilih

• Komputasi per hasil — rata-rata, setara dengan sekitar tiga jam pemikiran ChatGPT Pro

• Ringkasan penalaran — 10 dirilis, mencakup keluarga-keluarga yang meliputi eksponen irasionalitas π, konjektur Mahler simetris dan umum, konjektur kefinitan langsung Kaplansky dalam karakteristik dua, rumus Mézard–Parisi untuk kaca spin terdilusi, dan sistem Vlasov–Maxwell relativistik tiga dimensi

• Kebijakan revisi — versi baru diposting untuk koreksi, versi sebelumnya tetap dapat diakses

Subjeknya mencakup seluruh peta: teori bilangan, geometri aljabar dan kompleks, kombinatorika, ilmu komputer teoretis, aljabar operator, probabilitas dan fisika matematika. Beberapa judul keluarga itu di permukaannya merupakan klaim yang sangat besar — contoh tandingan untuk konjektur penutup Ryser, perkalian bilangan bulat di bawah n log n, perkalian matriks dengan eksponen paling banyak 9/4, konjektur-konjektur Mahler, contoh tandingan untuk Baum–Connes dan Kadison–Kaplansky. Apakah salah satu darinya berlaku adalah persis pertanyaan yang tidak diselesaikan oleh rilis ini untuk Anda.

Model itu belum diberi nama, belum dirilis, dan OpenAI mengatakan bahwa model itu akan segera hadir.

README tidak ambigu mengenai penulisnya: "naskah matematika dan artefak bukti pendukung yang dihasilkan oleh model OpenAI internal," dengan sebagian besar diperoleh "menggunakan model OpenAI internal yang belum dirilis." Tidak ada nama, tidak ada nama sandi, tidak ada ukuran. Nama-nama yang beredar dalam liputan lain belum dikonfirmasi oleh OpenAI, dan kami tidak akan menyebutkan satu pun.

Yang dapat diberi tanggal adalah lini masa di sekitarnya. Pada 28 Agustus 2026, menurut halaman OpenAI tentang kelompok penasihat matematikanya, perusahaan itu "mulai melatih model internal baru" yang sejak itu telah menyelesaikan masalah Hadiah Milenium Navier–Stokes dan, menurut hitungan OpenAI sendiri, lebih dari 100 masalah terbuka yang sudah lama ada. Hasil Navier–Stokes diumumkan secara terpisah pada 8 September 2026, dan dalam pengumuman itu OpenAI menggambarkan model di baliknya sebagai "secara signifikan lebih mampu daripada GPT-6 Astra" serta mengatakan pelatihan masih berlangsung. Dua dari manuskrip dalam koleksi minggu ini menyimpang dari prosedur standar, yang patut dicatat karena itu berarti rilis ini bukan satu alur yang seragam: pekerjaan pada daerah bebas nol untuk fungsi zeta Riemann dan pembuktian Konjektur Hodge untuk varietas abelian CM ditangani secara berbeda, dan OpenAI mengatakan tulisan zeta itu diedit oleh manusia demi keterbacaan.

Lalu kalimat yang penting bagi siapa pun yang membuat rencana berdasarkan hal ini: OpenAI menulis bahwa mereka "berupaya merilis secara bertanggung jawab model yang menghasilkan hasil-hasil ini." Itu adalah pernyataan niat, bukan tanggal. Sampai model itu dirilis, satu-satunya model OpenAI yang dapat dipanggil oleh pengembang adalah model yang sudah ada dalam daftar harga.

Apa arti "verifikasi" di sini — dan sampai mana batasnya

Inilah bagian yang sebagian besar liputan tentang rilis ini padatkan menjadi satu frasa, dan inilah bagian yang menentukan seberapa besar bobot yang harus diberikan pada satu makalah tertentu.

OpenAI secara eksplisit menyatakan bahwa "koleksi ini mencakup hasil pada berbagai tahap verifikasi." Bentuk bukti terkuat dalam bundel ini adalah formalisasi Lean, yang memungkinkan komputer memeriksa bukti alih-alih manusia. Manifes formalisasi milik repositori itu sendiri — katalog makalah dengan hasil utama yang diformalkan — mencantumkan 162 entri, jadi kira-kira satu dari lima dari 722 manuskrip didukung oleh bukti yang dapat diperiksa mesin di pohon publik. OpenAI mengatakan lebih banyak akan ditambahkan "saat kami memperolehnya."

Mayoritas besar sisanya tidak terverifikasi dalam pengertian itu, dan OpenAI tidak berpura-pura sebaliknya untuk keseluruhan koleksi: "Beberapa hasil yang belum diformalkan mungkin memiliki masalah. Kami akan berupaya memperbaiki masalah semacam itu dengan cepat." Dua detail struktural memperkuat bahwa ini adalah rilis yang dikelola, bukan rilis terbuka — issues dinonaktifkan pada repositori, dan pull request dibatasi hanya untuk kolaborator. Tidak ada jalur publik untuk menantang suatu pembuktian di tempatnya.

Jadi, bacaan yang jujur lebih sempit daripada yang disiratkan oleh jumlah di judul:

• Diperiksa mesin — 162 naskah dengan hasil utama yang diformalkan di pohon Lean publik

• Tidak diperiksa oleh mesin — sisanya, yang OpenAI sendiri tandai sebagai berpotensi mengandung kesalahan

• Tanggung jawab manusia — tidak ada yang disebutkan namanya; pembingkaian OpenAI sendiri adalah bahwa tidak ada orang yang memahami argumen di balik sebagian besar dari apa yang dihasilkan

• Penilaian independen — tidak ada yang dipublikasikan; pemilihan hasil mana yang cukup "signifikan" untuk dimasukkan dilakukan oleh OpenAI

Tidak satu pun dari itu berarti pekerjaan tersebut salah. Artinya, untuk saat ini, "OpenAI merilis 722 bukti" dan "722 bukti telah diperiksa" adalah pernyataan yang berbeda, dan hanya yang pertama yang benar hari ini.

Kelompok penasihat melampirkan sebuah syarat, dan hal itu tercatat resmi.

Postingan OpenAI menyatakan bahwa pihaknya berkonsultasi dengan Advisory Group on Mathematics and Artificial Intelligence yang independen di Institute for Advanced Study dan memanfaatkan “saran mereka dan rekomendasi publik.” Rekomendasi tersebut diterbitkan pada 29 September 2026, setelah kelompok itu menerima lebih dari 600 tanggapan dari komunitas matematika, dan layak dibaca langsung karena kelompok itu bukan sekadar stempel karet.

Dokumen yang sama dibuka dengan menyatakan bahwa kelompok itu sama sekali tidak mendukung praktik tersebut: "beberapa laboratorium AI terdepan sedang menguji masalah matematika tingkat lanjut pada model proprietary yang tetap tidak dapat diakses oleh komunitas ilmiah yang lebih luas... kami tidak mendukung praktik ini, dan kami meminta mereka untuk berhenti." Kelompok itu juga menggambarkan dirinya beroperasi secara independen, dengan para anggotanya tidak dibayar dan tidak memiliki wewenang pengambilan keputusan atas OpenAI — sebuah deskripsi hubungan yang juga digaungkan oleh unggahan OpenAI sendiri.

Titik temu antara rekomendasi kelompok itu dan rilis ini adalah pada prosesnya: tinjauan pustaka yang ditelusuri menyeluruh dengan sitasi terhadap karya yang memperkenalkan gagasan-gagasannya, penulisan bukti yang dibuat dalam gaya standar alih-alih keluaran mentah model, serta penomoran versi yang mempertahankan rilis-rilis sebelumnya. Titik ketidaksejalanannya ada pada bagian yang disebut kelompok itu sebagai inti — bahwa laboratorium yang merilis hasil yang tidak dipahami siapa pun harus mendanai pemahaman manusia yang harus menyusul, melalui lokakarya, konferensi, dan program, dan bahwa pekerjaan ini tetap dipimpin komunitas alih-alih diarahkan laboratorium. OpenAI telah berkomitmen mendanai "serangkaian lokakarya, konferensi, dan program khusus seputar pemahaman atas hasil-hasil utama yang dihasilkan oleh AI" dan mengatakan rinciannya akan menyusul. Itulah butir yang masih terbuka, dan itulah yang harus terus ditagih dari mereka.

Apa yang dapat Anda panggil hari ini, dan apa sebenarnya fungsi perutean di sini

Tidak ada cara untuk mengirim permintaan ke model yang menghasilkan manuskrip-manuskrip ini, dan tidak ada platform pihak ketiga yang dapat merutekannya — setiap daftar yang mengklaim sebaliknya sedang menggambarkan model yang tidak ada dalam katalog siapa pun. Model OpenAI yang ada dalam produksi adalah lini GPT-6 yang live, dan angka-angkanya tercantum di daftar harga, bukan disimpulkan:

• GPT-6 Astra — $10 / $50 per juta token, $1 pembacaan cache; tingkat konteks panjang di atas 272K token prompt dengan $20 / $75; konteks 1,05M token, output maksimum 128K

• GPT-6.1 Sol — $2 / $10 per juta token, $0,10 pembacaan cache; penjenjangan konteks panjang yang sama pada $4 / $15; konteks 1,05 juta token, output maksimum 128K

Keduanya ada dalam katalog OrcaRouter, yang merupakan poin praktis bagi siapa pun yang membaca rilis ini sebagai sinyal tentang kapabilitas: model yang boleh Anda gunakan hari ini juga merupakan model yang sudah menjadi acuan prompt Anda, dan kesenjangan antara model-model tersebut dan model internal justru merupakan kesenjangan yang OpenAI minta bantuan para matematikawan untuk menutupnya.

Kesenjangan itu juga menjadi alasan untuk menjaga biaya eksperimen tetap terpisah dari jalur produksi. Ketika OpenAI benar-benar memberikan nama dan harga pada model ini, minggu pertama akan dibanjiri klaim benchmark yang belum terverifikasi dan banyak pekerjaan reintegrasi yang dilakukan dengan panik — argumen perutean untuk platform seperti milik kami adalah bahwa mencoba model yang belum terbukti kemudian hanya membuat Anda mengganti string model, bukan melakukan migrasi. GPT-6 Astra dipatok pada $10 / $50 dan GPT-6.1 Sol adalah $2 / $10 per juta token, diteruskan pada harga daftar dengan markup 0%, sehingga perubahan harga vendor langsung aktif pada hari yang sama saat diberlakukan. Failover otomatis berarti model baru dapat membawa sebagian kecil trafik dan dihentikan tanpa ikut menjatuhkan jalur permintaan, dan DSL perutean memungkinkan Anda menyusun beberapa model menjadi satu panggilan jika Anda menginginkan pendapat kedua tentang derivasi panjang alih-alih satu jawaban. Tidak ada satu pun dari itu yang berlaku untuk model yang belum dirilis — tetapi justru itulah infrastruktur yang Anda inginkan sudah siap sebelum model berikutnya dirilis.

Tontonan Berikutnya

Empat hal, dalam urutan seberapa besar kemungkinan hal itu penting. Jumlah formalisasi, karena itulah satu-satunya angka dalam rilis ini yang dapat berpindah dari "OpenAI mengatakan" menjadi "sebuah mesin telah memeriksanya," dan angka itu publik. Evaluasi pertama yang benar-benar independen atas hasil yang disebutkan namanya — seorang matematikawan di luar OpenAI yang menelaah makalah tertentu secara terbuka, bukan ringkasan atas kumpulan tersebut. Repositori yang dihosting komunitas yang menurut OpenAI masih dijajaki, yang akan memindahkan artefak itu dari akun OpenAI sendiri ke tangan bidang ini. Dan perilisan model itu sendiri, yang OpenAI telah berkomitmen untuk melakukannya tetapi belum dijadwalkan.

Apakah 722 manuskrip itu berarti AI telah memecahkan masalah-masalah ini?

Untuk sebagian, jika matematikanya benar: koleksi tersebut mengklaim adanya contoh tandingan dan bukti untuk berbagai masalah terbuka yang terkenal, dan 162 makalah memiliki formalisasi yang dapat diperiksa mesin di balik hasil utamanya. Untuk sisanya, klaimnya adalah bahwa sebuah model menghasilkan manuskrip tentang masalah tersebut, yang merupakan pernyataan yang lebih lemah daripada solusi yang terverifikasi, dan OpenAI sendiri memperingatkan bahwa hasil yang tidak diformalisasi mungkin mengandung kesalahan. Perbedaan antara "menghasilkan bukti" dan "memiliki bukti" adalah inti dari rilis ini.

Apakah ada dari ini yang dapat digunakan dalam produk saat ini?

Tidak. Naskah-naskah itu adalah PDF, sumber Lean, dan ringkasan penalaran — artefak riset, bukan layanan. Tidak ada ID model, tidak ada endpoint, tidak ada harga, dan tidak ada formulir permintaan akses. Bagian yang secara praktis berguna dari rilis ini bagi seorang pengembang adalah konfirmasi bahwa OpenAI memiliki model yang secara material jauh melampaui GPT-6 Astra dalam pelatihan, yang merupakan sinyal perencanaan untuk dua belas bulan ke depan, bukan sesuatu yang bisa Anda panggil minggu ini.

Mengapa OpenAI merilis hasilnya, bukan modelnya?

Karena keduanya memiliki profil risiko yang berbeda. Menerbitkan naskah bersifat reversibel — OpenAI menyimpan versi-versi sebelumnya dan mengatakan akan memperbaiki masalahnya — sedangkan merilis model tidak. OpenAI menyatakan sedang berupaya merilisnya secara bertanggung jawab, dan rekomendasi kelompok penasihat, yang menurut perusahaan menjadi acuannya, dibangun tepat di seputar urutan ini: sampaikan hasilnya ke tangan orang-orang di bidang tersebut dengan sitasi dan pembuatan versi, lalu danai pemahaman manusia yang harus menyusul.

Versi satu baris untuk siapa pun yang membaca sekilas: kumpulan matematika yang dihasilkan AI yang benar-benar belum pernah terjadi sebelumnya dipublikasikan pada 6 Oktober, sekitar seperlimanya diperiksa mesin, tidak ada yang ditinjau sejawat, semuanya melekat pada model yang tidak dapat Anda gunakan. Pertanyaan yang menarik bukanlah apakah model itu mampu — tiga jam komputasi pemikiran terdepan per hasil di 4.000 soal menjawabnya, dan Open​AI mengatakan model itu jauh lebih mampu daripada GPT-6 Astra — melainkan apakah verifikasi dan pemahaman manusia dapat menyusul sebelum rilis berikutnya membuat yang ini usang.