JawabanDipublikasikan21 sumber
Rilis 722 manuskrip matematika OpenAI memicu seruan boikot dari AHM
AHM meminta matematikawan menghentikan kerja sama dengan OpenAI. Menurut kelompok itu, merilis banyak hasil sekaligus tidak sama dengan menghasilkan pengetahuan yang telah divalidasi secara ilmiah.
Diterbitkan olehDiedit dengan GPT-6 LunaGambar dibuat dengan GPT Image 2
Jawaban penelitian
Poin-poin penting
- AHM meminta matematikawan menghentikan kerja sama dengan OpenAI. Menurut kelompok itu, merilis banyak hasil sekaligus tidak sama dengan menghasilkan pengetahuan yang telah divalidasi secara ilmiah.
- OpenAI membagikan bukti pendukung dan formalization Lean untuk sebagian hasil, tetapi tidak seluruh manuskrip.
- Perdebatan mencakup potensi nilai matematika dari hasil tersebut, keterbukaan proses, beban verifikasi, dan peran peneliti manusia.
AI Perintah
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
Association for Human Mathematics (AHM) meminta para matematikawan menghentikan kerja sama dengan OpenAI setelah perusahaan itu merilis kumpulan besar manuskrip matematika pada 6 Oktober 2026. Keberatan AHM bukan sekadar kemungkinan ada bukti yang keliru. Menurut kelompok itu, publikasi massal dari model perusahaan tidak bisa menggantikan proses pemeriksaan, dokumentasi, dan diskusi ilmiah.45
Kumpulan tersebut mungkin memuat hasil yang menarik. Namun, banyaknya manuskrip, berkas bukti, atau klaim yang terdengar penting tidak otomatis membuat hasilnya terverifikasi. Perdebatan ini juga menyangkut siapa yang bisa mengakses model, siapa yang dapat menilai hasilnya, dan siapa yang harus mengerjakan proses verifikasi.
Apa yang dirilis OpenAI?
Dalam pengumuman awalnya, OpenAI menyebut telah merilis 722 manuskrip dari 17 bidang matematika, yang dikelompokkan menjadi 372 keluarga hasil terkait. Artinya, kumpulan itu bukan 722 penemuan yang sepenuhnya terpisah dan independen. Repositori tersebut memuat manuskrip beserta materi pendukung untuk pembuktian, dan dirilis dengan lisensi Apache-2.0.7
15
OpenAI mengatakan modelnya mencoba sekitar 4.000 soal. Rata-rata komputasi untuk tiap hasil setara dengan kira-kira tiga jam penggunaan ChatGPT Pro Thinking. Perusahaan itu juga membagikan 10 ringkasan singkat penalaran model serta formalization Lean untuk sejumlah bukti.7
12
16 Lean adalah sistem yang memungkinkan bukti matematika diperiksa secara komputasional.
Repositori menyebut hasil-hasilnya berada pada tahap verifikasi yang berbeda dan tidak semuanya memiliki formalization Lean. Katalog yang tampil saat ini mencatat 719 manuskrip, bukan 722 seperti dalam pengumuman awal.10
11
Kumpulan itu mencakup klaim yang berkaitan, antara lain, dengan konjektur Mahler dan eksponen irasionalitas π yang tepat. Klaim-klaim tersebut tetap perlu dinilai; keberadaannya dalam bentuk manuskrip saja belum menjadikannya hasil yang sudah dipastikan.5
21
Mengapa AHM menentangnya?
Dalam pernyataannya, AHM mengatakan para matematikawan “tidak meminta pekerjaan ini dilakukan” dan menyebut perilisan ratusan berkas sekaligus sebagai “demonstrasi kekuatan”, bukan karya ilmiah. Kelompok itu menyerukan sikap skeptis dan pendekatan sains yang berpusat pada manusia, alih-alih menerima atau memproses hasil perusahaan secara terburu-buru.45
Salah satu persoalan praktisnya adalah skala. Untuk menilai manuskrip-manuskrip itu, para ahli perlu membaca bukti, memeriksa langkah-langkahnya, lalu membandingkan hasilnya dengan literatur yang sudah ada. Membuka berkas ke publik memang memberi komunitas bahan untuk ditelaah, tetapi tidak menghilangkan pekerjaan tersebut—beban itu sebagian besar berpindah ke para peneliti.
AHM juga mengaitkan kritiknya dengan peringatan dari Advisory Group on Mathematics and Artificial Intelligence, kelompok yang dibentuk untuk memberi saran kepada perusahaan AI tentang hubungan mereka dengan riset matematika. Menurut pernyataan AHM, kelompok penasihat itu telah memperingatkan perusahaan AI terdepan agar tidak menguji soal matematika tingkat lanjut menggunakan model internal.45
Apa yang bisa dan tidak bisa dibuktikan oleh Lean?
Formalization Lean merupakan alat penting: sistem ini memungkinkan bukti yang sudah diterjemahkan ke dalam format Lean diperiksa oleh komputer. OpenAI menyebut bahwa pernyataan utama dari 162 manuskrip telah diformalisasi.5 Pemeriksaan tersebut memperkuat penilaian atas hasil-hasil spesifik itu, tetapi tidak otomatis mengesahkan semua klaim dalam setiap manuskrip.
Jika sebuah hasil belum memiliki formalization, argumennya tetap perlu dibaca dan diperiksa. Repositori sendiri menyatakan bahwa hasil-hasilnya berada pada tahap verifikasi yang berbeda dan tidak semuanya disertai formalization Lean.10
11 Karena itu, setiap hasil sebaiknya dinilai satu per satu—bukan menganggap seluruh kumpulan sudah terbukti, atau sebaliknya tidak bernilai.
Lebih banyak informasi, tetapi belum sepenuhnya terbuka
Angka tentang jumlah soal yang dicoba dan perkiraan komputasi, bersama 10 ringkasan penalaran, memberi gambaran tentang proses yang digunakan.7
12
16 Namun, informasi itu bukan catatan lengkap tentang bagaimana setiap hasil diperoleh. Modelnya pun masih internal dan tidak tersedia untuk pemeriksaan independen.
7
11
Jumlah soal yang dicoba juga belum menjelaskan seberapa sering model berhasil pada kumpulan soal sulit yang didefinisikan dengan jelas. Untuk menilai kinerja dan apakah hasilnya bisa direproduksi, peneliti memerlukan informasi lebih rinci tentang metode dan proses yang menghasilkan setiap temuan.
OpenAI mengatakan berencana mengadakan lokakarya dan konferensi untuk membahas hasil-hasil penting.7 Kegiatan semacam itu bisa membantu proses pemeriksaan, tetapi tidak menggantikan perlunya informasi yang memadai agar peneliti lain dapat menilai secara mandiri bagaimana bukti tersebut dihasilkan.
Apa artinya bagi riset matematika manusia?
Belum ada jawaban sederhana untuk perdebatan ini. Kumpulan argumen yang dihasilkan AI bisa saja memuat kemajuan matematika yang nyata. Namun, nilainya pada akhirnya ditentukan oleh hasil yang bertahan setelah diperiksa secara independen—bukan oleh banyaknya manuskrip yang dirilis atau pentingnya masalah yang diklaim terpecahkan.7
10
Kritik AHM juga menyoroti persoalan pengakuan terhadap penelitian manusia sebelumnya, waktu dan tenaga yang dibutuhkan untuk menilai hasil baru, serta kemungkinan berubahnya prioritas atau dukungan bagi riset yang dikerjakan manusia. Publikasi manuskrip ini tidak menjawab persoalan tersebut dengan sendirinya, tetapi membuatnya semakin mendesak.45
Intinya, kemampuan menghasilkan banyak klaim matematika perlu dibedakan dari validasi ilmiah atas klaim-klaim itu. Perdebatan ini menyentuh keduanya: apa yang bisa disumbangkan AI pada matematika, dan aturan apa yang diperlukan agar sumbangan tersebut dapat diperiksa, transparan, serta bermakna bagi komunitas riset.
Studio Global AI
Lanjutkan penelitian Anda
Halaman ini berisi jawaban yang didukung sumber yang dapat Anda lanjutkan di dalam Studio Global.
Orang-orang juga bertanya
Apa jawaban singkat untuk "Rilis 722 manuskrip matematika OpenAI memicu seruan boikot dari AHM"?
AHM meminta matematikawan menghentikan kerja sama dengan OpenAI. Menurut kelompok itu, merilis banyak hasil sekaligus tidak sama dengan menghasilkan pengetahuan yang telah divalidasi secara ilmiah.
Apa poin penting yang harus divalidasi terlebih dahulu?
AHM meminta matematikawan menghentikan kerja sama dengan OpenAI. Menurut kelompok itu, merilis banyak hasil sekaligus tidak sama dengan menghasilkan pengetahuan yang telah divalidasi secara ilmiah. OpenAI membagikan bukti pendukung dan formalization Lean untuk sebagian hasil, tetapi tidak seluruh manuskrip.
Apa yang harus saya lakukan selanjutnya dalam latihan?
Perdebatan mencakup potensi nilai matematika dari hasil tersebut, keterbukaan proses, beban verifikasi, dan peran peneliti manusia.