AnswersPublished21 sources
Kontroversi 722 manuskrip matematik OpenAI
AHM meminta ahli matematik menghentikan kerjasama dengan OpenAI kerana penerbitan beratus ratus hasil sekali gus tidak sama dengan pengetahuan yang telah disahkan secara saintifik. OpenAI menerbitkan manuskrip, bahan bukti dan pemformalan Lean untuk sebahagian hasil sahaja; model yang menghasilkannya masih dalaman d...
Diterbitkan olehDisunting dengan GPT-6 LunaImej dijana dengan GPT Image 2
Research answer
Key takeaways
- AHM meminta ahli matematik menghentikan kerjasama dengan OpenAI kerana penerbitan beratus ratus hasil sekali gus tidak sama dengan pengetahuan yang telah disahkan secara saintifik.
- OpenAI menerbitkan manuskrip, bahan bukti dan pemformalan Lean untuk sebahagian hasil sahaja; model yang menghasilkannya masih dalaman dan tidak tersedia untuk pemeriksaan bebas.
- Pertikaian ini menyentuh potensi sumbangan matematik AI, ketelusan proses, masa yang diperlukan untuk semakan bebas serta peranan penyelidik manusia.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Persatuan Matematik untuk Manusia (Association for Human Mathematics, AHM) menggesa ahli matematik menghentikan kerjasama dengan OpenAI selepas syarikat itu menerbitkan himpunan besar manuskrip matematik pada 6 Oktober 2026. Bantahan AHM bukan sekadar kerana sesetengah bukti mungkin silap. Persatuan itu berhujah bahawa pengumuman besar-besaran daripada model syarikat tidak boleh menggantikan proses semakan, dokumentasi dan perbincangan saintifik.45
Himpunan itu mungkin mengandungi hasil yang menarik. Namun, angka yang besar, fail bukti dan dakwaan yang mengagumkan tidak dengan sendirinya membuktikan sesuatu hasil itu sah. Pertikaian ini turut menyentuh siapa yang boleh mengakses model tersebut, siapa yang dapat meneliti hasilnya dan siapa yang perlu menanggung kerja menyemaknya.
Apa yang diterbitkan OpenAI
Pengumuman awal OpenAI menyatakan bahawa himpunan itu mengandungi 722 manuskrip merentasi 17 bidang, disusun dalam 372 keluarga hasil yang berkaitan. Jadi, jumlah itu bukan bermakna terdapat 722 penemuan berasingan yang masing-masing berdiri sendiri. Repositori tersebut menyediakan manuskrip dan bahan bukti sokongan, serta dikeluarkan di bawah lesen Apache-2.0.7
15
OpenAI berkata model itu mencuba kira-kira 4,000 masalah. Purata penggunaan komputasi bagi setiap hasil pula dikatakan bersamaan kira-kira tiga jam penggunaan ChatGPT Pro Thinking. Syarikat itu turut menerbitkan 10 ringkasan penaakulan model yang dipendekkan dan pemformalan Lean bagi sebahagian bukti.7
12
16 Lean ialah sistem yang membolehkan bukti matematik ditulis dalam bentuk formal untuk diperiksa oleh komputer.
Repositori itu menyatakan bahawa hasil dalam himpunan tersebut berada pada peringkat pengesahan yang berbeza, dan bukan semuanya mempunyai pemformalan Lean. Katalog semasa memaparkan 719 manuskrip, berbanding 722 dalam pengumuman awal.10
11
Antara dakwaan dalam himpunan itu ialah hasil berkaitan konjektur Mahler dan eksponen ketakrasionalan tepat bagi π. Namun, dakwaan tersebut tidak patut dianggap telah disahkan sepenuhnya hanya kerana manuskripnya sudah diterbitkan.5
21
Mengapa AHM membantah
Dalam kenyataannya, AHM berkata ahli matematik “tidak meminta kerja ini dilakukan” dan menyifatkan penerbitan ratusan fail itu sebagai “demonstrasi kuasa”, bukannya kerja ilmiah. Persatuan tersebut menggesa orang ramai supaya bersikap skeptikal dan mengutamakan sains yang berpusatkan manusia, bukannya menerima atau memproses hasil syarikat secara tergesa-gesa.45
Isu praktikalnya ialah jumlah bahan yang perlu diteliti. Pakar perlu membaca manuskrip, menyemak hujah dan menilai hasil dalam konteks kajian terdahulu. Penerbitan fail terbuka memang memberi komuniti bahan untuk diperiksa, tetapi tidak menghapuskan kerja itu—sebahagian besar bebannya kini terletak pada penyelidik.
AHM turut mengaitkan bantahannya dengan nasihat Kumpulan Penasihat Matematik dan Kecerdasan Buatan (Advisory Group on Mathematics and Artificial Intelligence), yang ditubuhkan untuk menasihati syarikat AI tentang hubungan mereka dengan penyelidikan matematik. Menurut kenyataan AHM, kumpulan itu pernah memberi amaran supaya syarikat AI perintis tidak menguji masalah matematik lanjutan menggunakan model dalaman mereka.45
Apa yang disahkan oleh bukti Lean—dan apa yang tidak
Pemformalan Lean ialah alat yang berguna: ia membolehkan bukti yang telah diterjemahkan ke dalam sistem itu diperiksa secara komputasi. OpenAI menyatakan bahawa pernyataan utama dalam 162 manuskrip telah diformalkan.5 Ini mengukuhkan semakan terhadap hasil-hasil khusus tersebut, tetapi tidak mengesahkan secara automatik setiap dakwaan dalam setiap manuskrip.
Bagi hasil yang belum diformalkan, hujahnya masih perlu dibaca dan diperiksa. Repositori itu sendiri menyatakan bahawa hasil-hasilnya berada pada peringkat pengesahan yang berbeza dan tidak semuanya disertakan pemformalan Lean.10
11 Maka, setiap hasil wajar dinilai satu demi satu—bukan menganggap seluruh himpunan itu sama ada sudah terbukti atau tidak berguna.
Lebih banyak maklumat tentang proses, tetapi belum telus sepenuhnya
Angka tentang jumlah masalah yang dicuba dan anggaran penggunaan komputasi, bersama 10 ringkasan penaakulan, memberi sedikit gambaran tentang proses penghasilan hasil tersebut.7
12
16 Namun, maklumat itu bukan rekod lengkap bagi setiap hasil. Model yang digunakan juga masih dalaman dan tidak tersedia untuk pemeriksaan bebas.
7
11
Jumlah masalah yang diuji sahaja juga tidak menjelaskan kadar kejayaan model pada set masalah sukar yang ditakrifkan dengan jelas. Untuk menilai prestasi dan kebolehulangan, penyelidik memerlukan lebih banyak maklumat tentang kaedah dan cara setiap hasil dihasilkan.
OpenAI berkata pihaknya merancang bengkel dan persidangan untuk meneliti hasil-hasil penting.7 Usaha sebegini boleh membantu proses semakan, tetapi tidak menggantikan pendedahan maklumat yang mencukupi supaya penyelidik lain dapat menilai secara bebas bagaimana bukti itu dihasilkan.
Apa ertinya pertikaian ini untuk penyelidikan matematik
Isu ini tidak mempunyai jawapan mudah. Hujah yang dihasilkan AI mungkin mengandungi kemajuan matematik yang sebenar, tetapi nilainya bergantung pada hasil yang dapat bertahan dalam semakan bebas—bukan pada jumlah manuskrip yang diterbitkan atau betapa pentingnya masalah yang didakwa telah diselesaikan.7
10
Reaksi AHM juga mengetengahkan persoalan tentang pengiktirafan yang adil terhadap kerja manusia terdahulu, kos untuk menilai hasil baharu dan kemungkinan sokongan atau keutamaan penyelidikan manusia berubah. Penerbitan manuskrip itu tidak menjawab persoalan tersebut dengan sendirinya; sebaliknya, ia menjadikannya lebih mendesak.45
Kesimpulan utamanya: keupayaan menghasilkan banyak dakwaan matematik perlu dibezakan daripada pengesahan saintifik. Pertikaian ini melibatkan kedua-duanya—sumbangan yang boleh diberikan AI kepada matematik dan peraturan yang diperlukan supaya sumbangan itu boleh diperiksa, telus serta bermakna kepada komuniti penyelidikan.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Kontroversi 722 manuskrip matematik OpenAI"?
AHM meminta ahli matematik menghentikan kerjasama dengan OpenAI kerana penerbitan beratus ratus hasil sekali gus tidak sama dengan pengetahuan yang telah disahkan secara saintifik.
What are the key points to validate first?
AHM meminta ahli matematik menghentikan kerjasama dengan OpenAI kerana penerbitan beratus ratus hasil sekali gus tidak sama dengan pengetahuan yang telah disahkan secara saintifik. OpenAI menerbitkan manuskrip, bahan bukti dan pemformalan Lean untuk sebahagian hasil sahaja; model yang menghasilkannya masih dalaman dan tidak tersedia untuk pemeriksaan bebas.
What should I do next in practice?
Pertikaian ini menyentuh potensi sumbangan matematik AI, ketelusan proses, masa yang diperlukan untuk semakan bebas serta peranan penyelidik manusia.