AI-translated from English; not yet reviewed by a fluent editor. # Association for Human Mathematics menggugat publikasi matematika OpenAI > Association for Human Mathematics menentang riset matematika proprietari dan perilisan massal OpenAI. Penarikan dan perbaikan bukti menunjukkan catatan yang berubah, bukan vonis atas seluruh koleksi. By BIG CHANGE Editorial Published: 2026-10-09T18:23:58.826Z Updated: 2026-10-09T18:23:58.826Z Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release ![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png) Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE. Association for Human Mathematics (AHM) mendesak matematikawan berhenti bekerja sama dengan OpenAI setelah perusahaan itu merilis koleksi besar matematika yang dihasilkan AI pada 6 Oktober. Dalam [pernyataan 7 Oktober](https://www.ahmath.org/statements), keberatan utama kelompok tersebut adalah penggunaan model privat untuk menangani masalah terbuka tingkat lanjut dan merilis ratusan makalah hasilnya sekaligus. AHM membantah klaim OpenAI bahwa model publikasi ini memajukan matematika, meski berkas publik memungkinkan klaim individual ditelaah. Itu adalah posisi Kelompok Kerja Komunikasi AHM. Ini bukan pemungutan suara komunitas matematika atau temuan bahwa setiap manuskrip salah. Terence Tao [memuat ulang teks itu sebagai pernyataan tamu AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), dengan menyebutkan kepengarangannya alih-alih mengadopsinya sebagai pernyataan sendiri. ## Perubahan besar - **Apa yang berubah:**Perdebatan tentang repositori OpenAI kini melampaui validitas hasil individual. AHM mempertanyakan peran perusahaan dalam memilih masalah riset dan menetapkan syarat bagi matematikawan untuk menerima hasilnya. - **Mengapa penting:**Perselisihan ini menyangkut siapa yang dapat memeriksa alat pembuatnya dan siapa yang menanggung pekerjaan untuk memeriksa serta menjelaskan perilisan massal. Pertanyaan itu tetap ada meski suatu bukti diperbaiki atau diformalisasi. - **Yang perlu dipantau:**OpenAI mengatakan akan menambahkan formalisasi. Penilaian independen atas klaim yang direvisi dan koreksi berversi selanjutnya akan memperjelas hasil spesifik mana yang dapat diverifikasi dan dipahami matematikawan. ## Apa yang ditentang AHM AHM mengatakan matematikawan tidak meminta pekerjaan ini. Kelompok itu menyebut perilisan lebih dari 700 berkas sebagai unjuk kekuatan, bukan beasiswa, dan meminta pembaca meragukan nilainya bagi bidang tersebut. Pernyataan itu juga mengutip Advisory Group on Mathematics and Artificial Intelligence (AGMAI) yang independen, dengan mengatakan OpenAI mengabaikan permintaan awal kelompok itu untuk berhenti menguji matematika tingkat lanjut pada model internal. Rujukan itu memiliki dasar yang jelas. [Pedoman AGMAI tanggal 29 September ](https://agmai.org/general-sep29/)menyatakan bahwa laboratorium terdepan sebaiknya berhenti menguji masalah tingkat lanjut pada model proprietari. Dokumen yang sama lalu memberikan rekomendasi bersyarat untuk merilis hasil jika laboratorium telanjur menghasilkannya: penulisan matematika yang jelas, repositori yang tepat, pengungkapan cara kerja dibuat, formalisasi jika memungkinkan, dan dukungan bagi pemahaman manusia. Dokumen itu mengatakan rekomendasinya menggunakan lebih dari 600 tanggapan survei dan mendapat dukungan pluralitas responden. Fakta tersebut tidak mengubah seruan AHM berikutnya untuk berhenti bekerja dengan OpenAI menjadi arahan AGMAI atau keputusan seluruh bidang. Dalam [tanggapannya atas perilisan 6 Oktober](https://agmai.org/), AGMAI secara tegas mengatakan peran penasihatnya tidak mendukung proses OpenAI atau menilai dampak hasilnya. Kelompok itu menggambarkan publikasi sebagai awal penilaian manusia dan menyebut hanya komunitas matematika yang dapat menentukan seberapa baik rekomendasinya diikuti. OpenAI sebelumnya [menyebut kelompok itu independen](https://openai.com/index/advisory-group-on-mathematics-and-ai/) dan mengatakan kelompok itu akan memberi saran tentang peninjauan dan komunikasi, tetapi tidak mengendalikan laju riset internal perusahaan. Perbedaan antara saran dan wewenang penting di sini: kritik AHM menantang pilihan OpenAI, bukan bukti bahwa dewan luar menyetujui atau memvetonya. ## Catatan yang berubah tetap perlu diperiksa Menurut [repositori OpenAI ](https://github.com/openai/math), koleksi ini memuat karya pada tahap verifikasi yang berbeda. Katalog terkininya mencantumkan **719 manuskrip dalam 372 keluarga**. Satu keluarga dapat mencakup beberapa makalah. Repositori mengatakan sebagian manuskrip tidak memiliki formalisasi Lean dan beberapa hasil yang belum diformalisasi mungkin bermasalah; repositori melaporkan sekitar 42% hasil utama telah diformalisasi. Formalisasi adalah argumen spesifik yang dapat diperiksa mesin untuk pernyataan tertentu, bukan konfirmasi menyeluruh atas setiap klaim dalam makalah sekitarnya. Status repositori juga bukan pengganti tinjauan matematika independen. Panduan kami sebelumnya tentang [berkas dan konfigurasi bukti ](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs)menjelaskan cara menelusuri cakupan itu. Jumlahnya berubah karena tiga manuskrip ditarik. Catatan riwayat OpenAI [tanggal 7 Oktober ](https://github.com/openai/math/blob/main/history.md)mengaitkan penarikan dengan kesalahan tanda dalam satu bukti yang juga memengaruhi dua makalah turunannya. Catatan itu mencatat revisi pada 14 manuskrip lain, pembaruan referensi pada 13 lainnya, serta enam formalisasi tambahan. Laporan kami tentang [tiga pemberitahuan penarikan ](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)menjelaskan kesimpulan yang lebih sempit: argumen yang disebutkan tidak lagi mendukung klaim makalah tersebut; pemberitahuan itu tidak membantah pernyataan matematikanya. Bukti yang ditarik, manuskrip yang diperbaiki, dan hasil yang diformalisasi adalah status berbeda. Revisi tersebut menunjukkan pekerjaan peninjauan yang mungkin dibutuhkan koleksi besar dengan tingkat formalisasi tidak merata. Itu analisis kami atas catatan repositori, bukan klaim dalam pernyataan AHM. AHM menentang keputusan untuk menghasilkan dan merilis koleksi melalui model proprietari. Sementara itu, OpenAI menyediakan materi berversi yang dapat diperiksa, dikoreksi, dan diperdebatkan peneliti. [Analisis kami sebelumnya tentang kapasitas peninjauan ](https://bigchange.ai/blog/ai-research-discovery-review-capacity)membahas tenaga yang diperlukan untuk mengubah banyak hasil usulan menjadi matematika yang dipahami. Perselisihan sekarang menambahkan pertanyaan lebih tajam: apakah menghasilkan pekerjaan sebanyak itu dengan cara ini melayani orang-orang yang diharapkan menilainya. ## Sumber dan bacaan lanjutan - [Association for Human Mathematics, pernyataan tentang perilisan OpenAI tanggal 6 Oktober](https://www.ahmath.org/statements), 7 Oktober 2026. Sumber primer untuk keberatan dan seruan AHM menghentikan kolaborasi. Ini menyatakan posisi kelompok kerja; bukan pandangan semua matematikawan atau putusan atas bukti individual. - [Publikasi ulang tulisan tamu AHM oleh Terence Tao](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), 7 Oktober 2026. Menandai teks sebagai pernyataan tamu AHM dan mengarahkan pembaca ke halaman asli asosiasi. - [Pedoman perilisan yang bertanggung jawab dari AGMAI](https://agmai.org/general-sep29/), 29 September 2026, dan [tanggapannya atas perilisan OpenAI](https://agmai.org/), 6 Oktober 2026. Menunjukkan keberatan kelompok terhadap pengujian proprietari, rekomendasi bersyarat untuk perilisan, serta batas tegas makna peran penasihatnya. - [Pengumuman kelompok penasihat OpenAI](https://openai.com/index/advisory-group-on-mathematics-and-ai/), 21 September 2026. Menyatakan cara OpenAI menggambarkan independensi dan mandat kelompok serta ketiadaan kendalinya atas laju riset internal. - [Repositori matematika OpenAI](https://github.com/openai/math) dan [riwayat versi](https://github.com/openai/math/blob/main/history.md), diperiksa 9 Oktober 2026. Catatan primer tentang jumlah terkini 719 manuskrip dan 372 keluarga, formalisasi yang tidak merata, serta penarikan dan revisi 7 Oktober. Ini catatan OpenAI tentang klaim dan koreksinya, bukan validasi matematika independen. ## Sources - [Pernyataan AHM tentang perilisan OpenAI tanggal 6 Oktober](https://www.ahmath.org/statements) — Pernyataan primer dari Kelompok Kerja Komunikasi AHM, bukan pemungutan suara seluruh bidang. - [Tulisan tamu AHM dari Terence Tao](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — Menandai pernyataan yang diterbitkan ulang sebagai tulisan tamu AHM. - [Pedoman perilisan yang bertanggung jawab dari AGMAI](https://agmai.org/general-sep29/) — Keberatan awal terhadap pengujian proprietari dan rekomendasi bersyarat untuk merilis hasil. - [Tanggapan AGMAI atas perilisan OpenAI](https://agmai.org/) — Tidak menyatakan dukungan atau penilaian dampak, dan menyerahkan penilaian kepada komunitas matematika. - [Pengumuman kelompok penasihat OpenAI](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — Uraian OpenAI tentang independensi dan mandat kelompok serta ketiadaan wewenang atas laju riset. - [Repositori matematika OpenAI](https://github.com/openai/math) — Angka terkini 719 manuskrip, 372 keluarga, catatan verifikasi, dan sekitar 42% formalisasi yang dilaporkan OpenAI. - [Riwayat repositori matematika OpenAI](https://github.com/openai/math/blob/main/history.md) — Tiga penarikan, revisi, pembaruan referensi, dan formalisasi tambahan.