Pelepasan Matematika Massal OpenAI Memicu Kekhawatiran Karir di Antara Matematikawan Akademik

Pada malam 6 Oktober 2026, OpenAI membuka repositori publik yang berisi 722 naskah matematika, dikelompokkan ke dalam 372 keluarga masalah, yang diproduksi oleh model internal yang belum dirilis, menurut outlet teknologi Unite.AI. Perusahaan mengatakan telah memberikan sistem sekitar 4.000 masalah terbuka dan hanya menerbitkan subset yang dianggap layak dirilis, mencakup aljabar, teori bilangan, topologi, ilmu komputer teoretis, dan logika matematika.

Apa yang dirilis OpenAI

Unite.AI melaporkan bahwa pelatihan pada model internal dimulai pada 28 Agustus 2026, dengan percobaan evaluasi diluncurkan 1 September. Model dilaporkan menghasilkan bukti yang diformalkan Lean yang mengatasi pertanyaan singularitas Navier-Stokes — salah satu dari tujuh masalah Hadiah Milenium Clay Mathematics Institute — sekitar 5 September, dengan OpenAI mengumumkan hasil secara publik pada 8 September. Perusahaan mengatakan tidak akan mencari hadiah $1 juta terkait. Fortune melaporkan bahwa OpenAI juga mengklaim kemajuan sebagian pada tiga masalah Hadiah Milenium lainnya dalam batch 6 Oktober tanpa sepenuhnya menyelesaikannya.

Tidak setiap naskah dilengkapi dengan verifikasi yang diperiksa mesin. Unite.AI mencatat bahwa banyak, tetapi tidak semua, makalah disertai formalisasi dalam asisten bukti Lean, yang memeriksa setiap langkah logis secara otomatis; hasil yang tidak diformalkan membawa risiko lebih tinggi dari kesalahan tersembunyi. Fortune melaporkan bahwa pada 8 Oktober, OpenAI telah menarik setidaknya tiga solusi yang diterbitkan setelah kesalahan ditemukan.

Seorang Fields Medalist mengatakan dia menangis

Pelepasan itu mengenai beberapa peneliti secara pribadi. Outlet Perancis SenePlus melaporkan bahwa Hugo Duminil-Copin, yang memenangkan Fields Medal pada 2022 atas karya pada transisi fase dalam fisika statistik, menemukan bahwa 16 pertanyaan penelitian terbukanya sendiri berada di antara masalah yang diklaim OpenAI telah ditangani, mengatakan perusahaan telah secara efektif mengakhiri lini penelitian itu. Dia mengatakan dia menangis sepanjang malam Selasa, 6 Oktober hingga 7 Oktober, sampai-sampai membangunkan putrinya.

Menurut SenePlus, Duminil-Copin berpendapat selama videokonferensi yang diselenggarakan oleh Perhimpunan Matematika Perancis pada 8 Oktober bahwa tujuan seorang peneliti bukan hanya membuktikan teorema tetapi menghasilkan pemahaman bagi manusia lain. Dia mengatakan khawatir paling banyak tentang matematikawan karir awal, yang dia takutkan akan paling terpengaruh karena budaya informal penyebarluasan ide dan hasil sebagian di antara rekan-rekan rusak jika matematikawan mulai menahan pekerjaan karena tekanan kompetitif.

Matematikawan mendorong kembali

Pelepasan memicu pernyataan terbuka dari Asosiasi Matematika Manusia (AHM), kelompok yang Kelompok Kerja Komunikasinya memposting sebagai entri tamu di blog matematikawan Terence Tao pada 7 Oktober. Pernyataan mengatakan matematikawan belum meminta badan karya ini dan OpenAI telah mengabaikan panduan sebelumnya dari Kelompok Penasihat tentang Matematika dan Kecerdasan Buatan, badan independen yang memberikan saran tentang cara perusahaan AI harus menguji dan menerbitkan klaim matematika, menurut pernyataan AHM. Pernyataan menggambarkan pelepasan lebih dari 700 file sekaligus sebagai mencerminkan skala sumber daya OpenAI daripada tinjauan ulang yang cermat.

Fortune melaporkan bahwa Terence Tao, menulis di Mastodon, mengatakan episode ini menandai akhir dari apa yang dia sebut Math 1.0, berpendapat bahwa masalah semakin banyak diselesaikan oleh pengguna AI tanpa kepentingan terhadap bidang yang lebih luas dan bahwa disiplin perlu memberikan nilai lebih pada eksposisi dan pembangunan komunitas daripada pemecahan masalah saja. Matematikawan Universitas New York Tristan Buckmaster, yang sebelumnya telah mengangkat kekhawatiran tentang pekerjaan Navier-Stokes, mengatakan kepada New York Times, seperti yang dikutip oleh Fortune, bahwa dia mencurigai beberapa hasil yang diterbitkan memperluas karya sebelumnya matematikawan lain untuk diselesaikan tanpa kredit yang memadai.

Matematikawan Universitas Columbia Peter Woit, menulis di blognya Not Even Wrong, menggambarkan pelepasan sebagai terorganisir dengan buruk dan mengatakan OpenAI telah mengabaikan rekomendasi kelompok penasihat sebelum mengalihkan tanggung jawab untuk menyelesaikan hasil ke komunitas matematika itu sendiri. Woit mengidentifikasi sistem di balik makalah sebagai model yang dirujuknya sebagai 'Astra.' Para komentator di postingannya mengatakan banyak bukti yang dihasilkan AI secara teknis padat tetapi menawarkan sedikit intuisi matematika atau pemahaman teoretis baru, bahkan ketika benar.

Bukan pertarungan baru

Gesekan antara OpenAI dan matematikawan mendahului pelepasan Oktober. TechCrunch melaporkan bahwa pada Oktober 2025, wakil presiden OpenAI Kevin Weil memposting — dan kemudian menghapus — klaim bahwa GPT-5 telah menemukan solusi untuk 10 masalah Erdős yang sebelumnya belum terpecahkan dan membuat kemajuan pada 11 lainnya. Thomas Bloom, yang memelihara basis data Masalah Erdős publik, mengatakan framing sangat menyesatkan, menjelaskan bahwa masalah yang ditandai 'terbuka' di situsnya hanya berarti dia tidak menyadari solusi yang dipublikasikan, bukan tidak ada; dia mengatakan GPT-5 telah menemukan referensi yang ada yang dia lewatkan. Peneliti OpenAI Sebastien Bubeck kemudian mengakui bahwa model hanya telah menemukan solusi yang ada dalam literatur yang dipublikasikan daripada menemukan yang baru, meskipun dia mengatakan ini masih memiliki nilai.

Para pendukung mengatakan bidang dapat beradaptasi

Tidak setiap matematikawan memperlakukan pelepasan sebagai krisis. Fortune mengutip matematikawan Universitas Toronto Dan Litt sebagai mengatakan dia menganggap perkembangan secara keseluruhan positif untuk matematika, sambil memperingatkan bahwa masyarakat perlu terus mendanai matematikawan manusia sehingga bidang tidak kehilangan dukungan kelembagaan sebagai hasilnya. Litt juga mencatat bahwa OpenAI tidak mempekerjakan cukup matematikawan untuk menulis semua hasilnya sebagai makalah konvensional, yang dia katakan membantu menjelaskan, tanpa membenarkan, skala dan kecepatan pelepasan.

• 722 naskah yang dihasilkan AI di seluruh 372 keluarga masalah dirilis pada 6 Oktober 2026 (Unite.AI).
• OpenAI menguji model pada sekitar 4.000 masalah terbuka sebelum menerbitkan subset yang dipilih (Unite.AI).
• Setidaknya tiga hasil yang diterbitkan ditarik oleh OpenAI pada 8 Oktober setelah kesalahan ditemukan (Fortune).
• Fields Medalist Hugo Duminil-Copin mengatakan 16 pertanyaan terbukanya sendiri berada di antara masalah yang ditangani (SenePlus).
• Asosiasi Matematika Manusia mendesak matematikawan untuk berhenti berkolaborasi dengan OpenAI (Blog Terence Tao).