JawabanDipublikasikan21 sumber
Satu Kesalahan Tanda, Tiga Naskah Matematika OpenAI Ditarik
Pada 7 Oktober 2026, OpenAI menarik tiga naskah dari rilis 722 manuskrip matematika setelah kesalahan tanda +1/−1 merusak bukti tentang kelas Weil dan dua argumen turunannya. Katalog yang diperbarui memuat 719 naskah dalam 372 keluarga; OpenAI juga melaporkan revisi pada 14 naskah dan pembaruan referensi di 13 tulis...
Diterbitkan olehDiedit dengan GPT-6 LunaGambar dibuat dengan GPT Image 2
Jawaban penelitian
Poin-poin penting
- Pada 7 Oktober 2026, OpenAI menarik tiga naskah dari rilis 722 manuskrip matematika setelah kesalahan tanda +1/−1 merusak bukti tentang kelas Weil dan dua argumen turunannya.
- Katalog yang diperbarui memuat 719 naskah dalam 372 keluarga; OpenAI juga melaporkan revisi pada 14 naskah dan pembaruan referensi di 13 tulisan pendamping.
AI Perintah
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. 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
OpenAI menarik tiga naskah matematika pada 7 Oktober, kurang dari sehari setelah merilis 722 manuskrip buatan model internalnya di GitHub. Kesalahan tanda dalam satu bukti meruntuhkan argumen utama naskah tersebut, sekaligus melemahkan dua naskah lain yang bergantung padanya. Peristiwa ini mengingatkan bahwa naskah yang tersedia untuk dibaca publik belum tentu berarti klaimnya telah diverifikasi secara independen. 24
35
Rilis besar yang berisi karya saling terkait
Pada 6 Oktober, OpenAI mengunggah manuskrip yang dihasilkan model internal yang belum dirilis ke publik. Kumpulan itu dibagi ke dalam 372 keluarga: kelompok naskah terkait yang dapat mencakup hasil utama, argumen pendukung, konsekuensi, atau bukti alternatif. Topiknya meliputi aljabar, geometri, ilmu komputer, dan bidang lain. 1
35
38
Jadi, 722 manuskrip itu bukan berarti ada 722 hasil yang berdiri sendiri. Beberapa tulisan bertumpu pada argumen atau konstruksi yang diuraikan dalam naskah lain di keluarga yang sama. Keterkaitan inilah yang membuat satu kesalahan berdampak pada tiga naskah. 1
24
Kesalahan tanda yang menggugurkan tiga argumen
Masalah ditemukan dalam Algebraicity of Weil classes on split abelian eightfolds. Pada satu bagian penting, naskah tersebut memberi tanda +1 pada sebuah operasi geometri, padahal menurut konvensi yang digunakan dalam naskah itu tandanya seharusnya −1. Akibatnya, argumen pembatalan yang menopang konstruksi utama tidak lagi berlaku. 21
24
27
Dua manuskrip lain menggunakan hasil dari pekerjaan tersebut: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces dan The rational Hodge conjecture for products of K3 surfaces. Setelah argumen dasarnya gagal, klaim dalam kedua naskah itu tidak lagi dapat ditopang oleh argumen tersebut. OpenAI pun menarik ketiganya. Ini berarti bukti dalam naskah-naskah itu bermasalah—bukan berarti konjektur yang dibahas telah terbukti salah. 21
24
35
Apa yang berubah dalam repositori?
Pembaruan pada 7 Oktober mencatat penarikan tiga naskah, revisi terhadap 14 naskah lain, serta pembaruan referensi di 13 tulisan pendamping. Jumlah dalam katalog turun dari 722 menjadi 719, sementara susunannya tetap mencakup 372 keluarga. 1
24
28
Repositori dan materi rilis OpenAI menyebut bahwa hasil-hasil di dalamnya berada pada tingkat verifikasi yang berbeda-beda dan sebagian mungkin masih mengandung kesalahan. OpenAI juga mengatakan bahwa cara mereka membagikan karya ini mempertimbangkan masukan dari Advisory Group on Mathematics and Artificial Intelligence. Karena itu, manuskrip tersebut lebih tepat dipandang sebagai bahan untuk ditelaah, bukan kumpulan temuan yang sudah mapan. 1
33
39
Seberapa jauh Lean bisa memeriksa bukti?
Sebagian hasil dalam kumpulan itu dilengkapi formalasi Lean. Lean adalah perangkat bantu pembuktian yang memungkinkan komputer memeriksa bukti matematika yang sudah ditulis dalam bentuk formal. Namun, laporan yang tersedia menghitung cakupannya dengan cara berbeda: satu ringkasan menyebut sekitar 300 dari 719 hasil utama telah diformalkan, sedangkan sumber lain menghitung 162 dari 722 manuskrip dengan formalasi untuk hasil utama. Angka-angka ini memakai satuan berbeda, sehingga tidak bisa langsung dibandingkan atau dianggap membuktikan seluruh klaim dalam setiap naskah. 25
33
36
Konsultasi dengan kelompok penasihat dan keberadaan bukti formal memberi konteks untuk menilai rilis tersebut, tetapi tidak menghapus kebutuhan untuk memeriksa argumen tertulis serta batas klaim tiap naskah. Penarikan ini juga menunjukkan pentingnya meninjau hubungan antar-tulisan: kesalahan pada satu argumen bersama dapat berimbas pada lebih dari satu manuskrip. 24
33
39
Intinya: klaim lain masih perlu diperiksa
Penarikan ini menunjukkan bahwa satu argumen tertentu gagal dan dua naskah yang bergantung padanya tidak lagi dapat bertumpu pada argumen tersebut. Namun, hal itu tidak membuktikan bahwa manuskrip lain salah—atau bahwa klaim-klaim di dalamnya benar. Setiap hasil tetap perlu dinilai satu per satu, dengan memeriksa bukti, asumsi, dan ketergantungannya pada karya terkait. 1
21
35
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 "Satu Kesalahan Tanda, Tiga Naskah Matematika OpenAI Ditarik"?
Pada 7 Oktober 2026, OpenAI menarik tiga naskah dari rilis 722 manuskrip matematika setelah kesalahan tanda +1/−1 merusak bukti tentang kelas Weil dan dua argumen turunannya.
Apa poin penting yang harus divalidasi terlebih dahulu?
Pada 7 Oktober 2026, OpenAI menarik tiga naskah dari rilis 722 manuskrip matematika setelah kesalahan tanda +1/−1 merusak bukti tentang kelas Weil dan dua argumen turunannya. Katalog yang diperbarui memuat 719 naskah dalam 372 keluarga; OpenAI juga melaporkan revisi pada 14 naskah dan pembaruan referensi di 13 tulisan pendamping.