722 Makalah Matematika yang Dihasilkan Oleh AI dari OpenAI Memecah Belah Matematikawan Antara Kagum dan Kekhawatiran

Apa yang OpenAI terbitkan, dan kapan

Pada 6 Oktober 2026, OpenAI memposting 722 naskah di GitHub, dikelompokkan menjadi 372 keluarga hasil yang terkait, semuanya diproduksi oleh model internal yang belum dirilis publik oleh perusahaan, menurut xenospectrum.com dan buletin berfokus AI Latent.space. Perusahaan mengatakan model telah dilepaskan pada sekitar 4.000 masalah matematika, dengan hasil yang diterima rata-rata memerlukan komputasi setara dengan sekitar tiga jam waktu penalaran ChatGPT Pro, dilaporkan oleh Latent.space.

Satu naskah membahas apa yang disebut peneliti sebagai 'Hipotesis Quasi-Riemann': klaim bahwa tidak ada nol dari fungsi-fungsi L-Dirichlet tertentu di mana bagian riil melebihi 7/8. Xenospectrum.com mencatat bahwa ini tidak menyelesaikan hipotesis Riemann yang sebenarnya, yang menyangkut nol pada bagian riil tepat 1/2 dan tetap menjadi masalah Millennium Prize Institut Matematika Clay yang belum terpecahkan.

Pujian dan kekhawatiran di kalangan matematikawan

Reaksi terpecah secara tajam. Matematikawan Levent Alpöge, yang dijelaskan oleh Latent.space sebagai berafiliasi dengan Anthropic, menyebut rilis tersebut 'jelas momen paling signifikan dalam sejarah matematika.' The Conversation melaporkan bahwa matematikawan lain jauh kurang terkesan: satu pengulas menolak sebagian batch sebagai 'tumpukan besar limbah yang dibuang di depan pintu kami,' dan seorang matematikawan senior mengatakan satu makalah sangat tidak dapat dipahami sehingga jika diserahkan ke jurnal dengan cara biasa akan langsung masuk ke tempat sampah.

The Conversation juga melaporkan bahwa ChatGPT sendiri menandai setidaknya satu hasil dalam batch sebagai 'halusinasi serius,' dan bahwa beberapa makalah kemudian ditarik kembali atau diamandemen setelah kesalahan ditemukan.

Kesenjangan verifikasi

Akun tentang berapa banyak rilis yang benar-benar telah diperiksa mesin berbeda. Xenospectrum.com, melacak katalog formalisasi OpenAI sendiri per 7 Oktober, menghitung 162 dari 722 naskah — sekitar 22,4 persen — dengan hasil yang diformalkan dalam bahasa verifikasi-bukti Lean. The Conversation, sebaliknya, melaporkan bahwa OpenAI telah memformalkan 300 hasil utama menggunakan perangkat lunak tipe-Lean. Xenospectrum.com menambahkan bahwa bahkan formalisasi Lean yang lengkap hanya mengkonfirmasi langkah-langkah logis bukti, bukan bahwa setiap klaim penjelasan dalam makalah telah diverifikasi secara independen.

Tech-insider.org melaporkan bahwa kelompok penasihat yang melibatkan Fields Medalist Terence Tao didirikan untuk membantu mengelola bagaimana hasil OpenAI mencapai publik, tetapi peran kelompok secara eksplisit adalah menasihati tentang rilis, bukan untuk secara independen memverifikasi bahwa hasil-hasil tersebut benar. Outlet yang sama mengutip klaim September bahwa model OpenAI, menggunakan sekitar 10.000 agen AI yang bekerja selama sekitar 88 jam, telah menghasilkan bukti yang berkaitan dengan masalah keberadaan dan kelancaran Navier-Stokes — masalah Millennium Prize lainnya — yang masih terdaftar oleh Institut Matematika Clay sebagai aktif daripada terpecahkan, berarti tidak ada verifikasi independen yang telah diselesaikan.

Apa yang masih diperdebatkan para matematikawan

Selain kebenaran, tech-insider.org melaporkan kekhawatiran bahwa pendekatan publish-first, verify-later OpenAI membalikkan cara matematika secara tradisional bekerja, mengalihkan beban peninjauan sejawat yang lambat dan kontradiktif ke komunitas matematika yang sudah sangat tegang. The Conversation melaporkan kegelisahan tambahan tentang dugaan penyalahgunaan data yang terkait dengan klaim Navier-Stokes sebelumnya, yang diangkat oleh matematikawan Tristan Buckmaster dan Levent Alpöge — dugaan yang ditolak OpenAI — serta kekhawatiran yang lebih luas di bidang tentang penelitian yang 'direbut' oleh sistem AI dan tentang apa yang dimaksudkan dengan pertumbuhan alat-alat semacam itu bagi matematika sebagai karir.