AnswersPublished21 sources
Mengapa OpenAI menarik balik tiga manuskrip matematik AI
Pada 7 Oktober 2026, OpenAI menarik balik tiga manuskrip selepas kesilapan tanda +1/−1 menjejaskan bukti tentang kelas Weil serta dua hujah yang bergantung padanya. Katalog yang dikemas kini menyenaraikan 719 manuskrip dalam 372 kelompok; OpenAI turut melaporkan pindaan pada 14 manuskrip dan kemas kini rujukan dalam...
Diterbitkan olehDisunting dengan GPT-6 LunaImej dijana dengan GPT Image 2
Research answer
Key takeaways
- Pada 7 Oktober 2026, OpenAI menarik balik tiga manuskrip selepas kesilapan tanda +1/−1 menjejaskan bukti tentang kelas Weil serta dua hujah yang bergantung padanya.
- Katalog yang dikemas kini menyenaraikan 719 manuskrip dalam 372 kelompok; OpenAI turut melaporkan pindaan pada 14 manuskrip dan kemas kini rujukan dalam 13 manuskrip pendamping.
AI Prompt
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 balik tiga manuskrip matematik pada 7 Oktober, kurang sehari selepas menerbitkan 722 manuskrip yang dijana AI di GitHub. Kesilapan tanda dalam satu kertas menggagalkan hujah utamanya dan menjejaskan dua kertas lain yang bergantung pada hujah tersebut. Insiden ini mengingatkan kita bahawa manuskrip yang tersedia untuk dibaca umum belum semestinya telah disahkan secara bebas. 24
35
Apa yang diterbitkan OpenAI
Pada 6 Oktober, OpenAI menerbitkan manuskrip yang dihasilkan oleh model dalaman yang belum dikeluarkan kepada umum. Repositori itu membahagikan hasil tersebut kepada 372 kelompok berkaitan. Setiap kelompok boleh merangkumi hasil utama, hujah sokongan, kesimpulan susulan atau bukti alternatif. Koleksi itu meliputi bidang seperti algebra, geometri dan sains komputer. 1
35
38
Pembahagian ini penting: 722 manuskrip itu bukan bermakna terdapat 722 hasil yang berdiri sendiri. Sesetengahnya bergantung pada hujah atau pembinaan matematik dalam manuskrip lain daripada kelompok yang sama. Hubungan inilah yang menjadi punca penarikan balik tersebut. 1
24
Kesilapan tanda yang menjejaskan tiga manuskrip
Masalah itu ditemui dalam Algebraicity of Weil classes on split abelian eightfolds. Dalam satu hujah penting, kertas tersebut menetapkan tanda +1 bagi suatu operasi geometri, sedangkan menurut konvensyen yang digunakan dalam kertas itu, tandanya sepatutnya −1. Kesilapan itu merosakkan hujah pembatalan yang menyokong pembinaan utama kertas tersebut. 21
24
27
Dua manuskrip lain bergantung pada hasil itu: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces dan The rational Hodge conjecture for products of K3 surfaces. Apabila hujah asas itu tidak lagi kukuh, dakwaan dalam kedua-dua manuskrip tersebut tidak dapat disokong olehnya. Oleh itu, OpenAI menarik balik ketiga-tiganya. Ini bermakna hujah dalam manuskrip berkenaan gagal—bukan bahawa konjektur yang dibincangkan telah terbukti salah. 21
24
35
Apa yang berubah dalam repositori
Kemas kini pada 7 Oktober merekodkan penarikan balik tiga manuskrip, pindaan kepada 14 manuskrip lain dan kemas kini rujukan dalam 13 manuskrip pendamping. Jumlah dalam katalog turun daripada 722 kepada 719, sementara bilangan kelompok kekal 372. 1
24
28
Repositori dan bahan penerbitan OpenAI menyatakan bahawa hasil dalam koleksi itu berada pada tahap pengesahan yang berbeza-beza, serta memberi amaran bahawa sebahagiannya mungkin mengandungi kesilapan. OpenAI berkata pendekatannya dalam berkongsi hasil itu turut mengambil kira rundingan dengan Kumpulan Penasihat Matematik dan Kecerdasan Buatan. Konteks ini menunjukkan bahawa manuskrip tersebut wajar dilihat sebagai bahan untuk diteliti, bukannya penemuan yang semuanya sudah muktamad. 1
33
39
Apa yang boleh—dan tidak boleh—disahkan dengan Lean
Sebahagian hasil dalam koleksi itu disertakan pemformalan Lean. Lean ialah pembantu bukti yang membolehkan komputer menyemak bukti matematik yang telah ditulis dalam bentuk formal. Namun, laporan yang tersedia menggunakan ukuran liputan yang berbeza: satu ringkasan menyatakan kira-kira 300 daripada 719 hasil utama telah diformalkan, manakala satu lagi mengira 162 daripada 722 manuskrip yang mempunyai pemformalan bagi hasil utamanya. Oleh sebab ukuran itu tidak sama, kedua-dua angka tersebut tidak bermakna setiap dakwaan dalam manuskrip berkenaan telah disahkan secara bebas. 25
33
36
Rundingan OpenAI dengan kumpulan penasihat dan kewujudan bukti yang diformalkan memberi konteks untuk menilai penerbitan itu, tetapi kedua-duanya tidak menghapuskan keperluan untuk menyemak hujah bertulis serta skop setiap dakwaan. Penarikan balik itu turut menunjukkan mengapa manuskrip yang saling berkaitan perlu diteliti bersama: kesilapan dalam satu hujah yang dikongsi boleh menjejaskan lebih daripada satu manuskrip. 24
33
39
Kesimpulannya: anggap dakwaan yang tinggal sebagai hasil penyelidikan yang masih perlu disemak
Penarikan balik itu mengesahkan bahawa satu hujah tertentu gagal dan dua manuskrip yang bergantung padanya tidak lagi dapat disokong oleh hujah tersebut. Namun, ia tidak membuktikan bahawa manuskrip lain salah—atau bahawa dakwaannya betul. Setiap hasil perlu dinilai berdasarkan meritnya sendiri, termasuk bukti, andaian dan pergantungannya pada kerja berkaitan. 1
21
35
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 "Mengapa OpenAI menarik balik tiga manuskrip matematik AI"?
Pada 7 Oktober 2026, OpenAI menarik balik tiga manuskrip selepas kesilapan tanda +1/−1 menjejaskan bukti tentang kelas Weil serta dua hujah yang bergantung padanya.
What are the key points to validate first?
Pada 7 Oktober 2026, OpenAI menarik balik tiga manuskrip selepas kesilapan tanda +1/−1 menjejaskan bukti tentang kelas Weil serta dua hujah yang bergantung padanya. Katalog yang dikemas kini menyenaraikan 719 manuskrip dalam 372 kelompok; OpenAI turut melaporkan pindaan pada 14 manuskrip dan kemas kini rujukan dalam 13 manuskrip pendamping.