คำตอบเผยแพร่แล้ว21 แหล่งที่มา
เครื่องหมายบวกลบผิดจุด ทำ OpenAI ถอนงานคณิตศาสตร์ 3 ฉบับ
เมื่อ 7 ตุลาคม 2026 OpenAI ถอนต้นฉบับ 3 ฉบับจากชุดงานคณิตศาสตร์ 722 ฉบับ หลังพบว่าความผิดพลาดเรื่องเครื่องหมาย +1/−1 ทำให้บทพิสูจน์เรื่อง Weil classes และงานที่พึ่งพาบทพิสูจน์นั้นใช้รองรับข้อสรุปไม่ได้ แค็ตตาล็อกฉบับปรับปรุงเหลือ 719 ต้นฉบับใน 372 กลุ่ม พร้อมรายงานการแก้ไขต้นฉบับอีก 14 ฉบับและปรับปรุงการอ้างอิงในงาน...
เผยแพร่โดยแก้ไขด้วย GPT-6 Lunaรูปภาพสร้างด้วย GPT Image 2
คำตอบการวิจัย
ประเด็นสำคัญ
- เมื่อ 7 ตุลาคม 2026 OpenAI ถอนต้นฉบับ 3 ฉบับจากชุดงานคณิตศาสตร์ 722 ฉบับ หลังพบว่าความผิดพลาดเรื่องเครื่องหมาย +1/−1 ทำให้บทพิสูจน์เรื่อง Weil classes และงานที่พึ่งพาบทพิสูจน์นั้นใช้รองรับข้อสรุปไม่ได้
- แค็ตตาล็อกฉบับปรับปรุงเหลือ 719 ต้นฉบับใน 372 กลุ่ม พร้อมรายงานการแก้ไขต้นฉบับอีก 14 ฉบับและปรับปรุงการอ้างอิงในงานที่เกี่ยวข้อง 13 ฉบับ
AI พรอมต์
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 ถอนต้นฉบับคณิตศาสตร์ 3 ฉบับเมื่อวันที่ 7 ตุลาคม ไม่ถึงหนึ่งวันหลังเผยแพร่ต้นฉบับที่สร้างโดย AI จำนวน 722 ฉบับบน GitHub สาเหตุคือมีการใส่เครื่องหมายผิดในบทพิสูจน์ฉบับหนึ่ง ทำให้เหตุผลหลักของงานนั้นใช้ไม่ได้ และกระทบงานอีกสองฉบับที่อาศัยข้อโต้แย้งเดียวกัน เหตุการณ์นี้เตือนว่า การเปิดเผยต้นฉบับต่อสาธารณะไม่ได้หมายความว่าข้ออ้างในงานได้รับการตรวจสอบอย่างเป็นอิสระแล้ว 24
35
OpenAI เผยแพร่งานอะไรบ้าง
เมื่อวันที่ 6 ตุลาคม OpenAI เผยแพร่ต้นฉบับที่สร้างโดยโมเดลภายในซึ่งบริษัทยังไม่ได้เปิดให้สาธารณะใช้งาน คลังบน GitHub จัดงานเหล่านี้เป็น 372 กลุ่ม หรือ “ตระกูล” ของผลงานที่เกี่ยวข้องกัน แต่ละกลุ่มอาจมีงานหลัก ข้อโต้แย้งประกอบ ผลสืบเนื่อง หรือบทพิสูจน์อีกแนวทางหนึ่ง ครอบคลุมสาขาต่าง ๆ เช่น พีชคณิต เรขาคณิต และวิทยาการคอมพิวเตอร์ 1
35
38
ดังนั้น ต้นฉบับ 722 ฉบับจึงไม่ได้หมายถึงผลลัพธ์อิสระ 722 เรื่องเสมอไป บางฉบับอาศัยแนวคิดหรือโครงสร้างที่พัฒนาขึ้นในงานอื่นของกลุ่มเดียวกัน ความเชื่อมโยงนี้เป็นเหตุให้ข้อผิดพลาดในงานหนึ่งส่งผลถึงอีกสองฉบับ 1
24
เครื่องหมายผิดจุดทำให้บทพิสูจน์ใช้ไม่ได้
ปัญหาอยู่ในงานชื่อ Algebraicity of Weil classes on split abelian eightfolds ซึ่งในขั้นตอนสำคัญระบุเครื่องหมายของการดำเนินการทางเรขาคณิตเป็น +1 ทั้งที่ตามข้อตกลงของบทความควรเป็น −1 ความผิดพลาดนี้ทำให้เหตุผลเรื่องการหักล้างกัน ซึ่งใช้รองรับโครงสร้างที่งานเสนอ ไม่เป็นไปตามที่บทพิสูจน์ต้องการ 21
24
27
ต้นฉบับอีกสองฉบับที่อาศัยงานดังกล่าวคือ Algebraicity of Kuga–Satake Correspondences for K3 Surfaces และ The rational Hodge conjecture for products of K3 surfaces เมื่อบทพิสูจน์ต้นทางมีปัญหา ข้ออ้างในงานที่พึ่งพาบทพิสูจน์นั้นก็ไม่อาจใช้เหตุผลชุดเดิมรองรับได้ OpenAI จึงถอนทั้งสามฉบับ ทั้งนี้เป็นความล้มเหลวของข้อโต้แย้งในบทความ ไม่ใช่การพิสูจน์ว่าข้อคาดการณ์ทางคณิตศาสตร์ที่งานเหล่านั้นศึกษาเป็นเท็จ 21
24
35
บันทึกการปรับปรุงระบุอะไรบ้าง
การปรับปรุงคลังเมื่อวันที่ 7 ตุลาคมระบุการถอนต้นฉบับ 3 ฉบับ การแก้ไขต้นฉบับอีก 14 ฉบับ และการปรับปรุงรายการอ้างอิงในงานประกอบ 13 ฉบับ จำนวนในแค็ตตาล็อกจึงลดจาก 722 เหลือ 719 แต่ยังจัดอยู่ใน 372 กลุ่มเช่นเดิม 1
24
28
คำอธิบายในคลังและเอกสารเผยแพร่ของ OpenAI ระบุว่างานเหล่านี้อยู่ในขั้นตอนการตรวจสอบที่แตกต่างกัน และเตือนว่าอาจมีข้อผิดพลาด OpenAI ยังระบุว่าได้ปรึกษากลุ่ม Advisory Group on Mathematics and Artificial Intelligence เกี่ยวกับแนวทางเผยแพร่ผลงาน บริบทนี้จึงสนับสนุนให้มองต้นฉบับเหล่านี้เป็นงานที่เปิดให้ตรวจสอบ มากกว่าจะถือว่าเป็นข้อค้นพบที่ยืนยันแล้วทั้งหมด 1
33
39
Lean ช่วยตรวจอะไรได้ และยังมีข้อจำกัดอย่างไร
ผลงานบางส่วนมีการทำ formalization ด้วย Lean ซึ่งเป็นเครื่องมือช่วยตรวจสอบบทพิสูจน์ในรูปแบบทางการด้วยคอมพิวเตอร์ อย่างไรก็ตาม รายงานที่มีอยู่ใช้หน่วยนับไม่เหมือนกัน: สรุปหนึ่งระบุว่ามีผลลัพธ์หลักราว 300 จาก 719 รายการที่ทำ formalization แล้ว ขณะที่อีกแหล่งนับว่ามีต้นฉบับ 162 จาก 722 ฉบับที่ formalize ผลลัพธ์หลัก ตัวเลขเหล่านี้นับคนละหน่วย จึงไม่ควรตีความว่าทุกข้ออ้างในเอกสารที่เกี่ยวข้องได้รับการตรวจสอบโดยอิสระแล้ว 25
33
36
การปรึกษากลุ่มที่ปรึกษาและการมีบทพิสูจน์ที่ formalize เป็นข้อมูลประกอบการประเมินผลงาน แต่ไม่ได้ตัดความจำเป็นในการอ่านตรวจเหตุผลที่เขียนไว้หรือพิจารณาขอบเขตของแต่ละข้ออ้าง กรณีนี้ยังแสดงให้เห็นว่าเมื่องานหลายชิ้นเชื่อมโยงกัน การตรวจทานต้องพิจารณาความสัมพันธ์ระหว่างบทความด้วย เพราะข้อผิดพลาดในข้อโต้แย้งร่วมอาจกระทบมากกว่าหนึ่งฉบับ 24
33
39
ข้อสรุป: งานที่เหลือยังต้องผ่านการตรวจสอบ
การถอนครั้งนี้ยืนยันว่าข้อโต้แย้งเฉพาะจุดหนึ่งมีปัญหา และงานอีกสองฉบับไม่อาจพึ่งพาข้อโต้แย้งนั้นต่อไปได้ แต่ไม่ได้ยืนยันว่าต้นฉบับที่เหลือผิดทั้งหมด หรือถูกต้องแล้วทั้งหมด ผลลัพธ์แต่ละเรื่องยังต้องได้รับการประเมินจากหลักฐานของตัวเอง โดยพิจารณาบทพิสูจน์ สมมติฐาน และการพึ่งพางานอื่นที่เกี่ยวข้อง 1
21
35
Studio Global AI
ทำการวิจัยต่อ
หน้านี้รวมคำตอบที่ได้รับการสนับสนุนจากแหล่งที่มาซึ่งคุณสามารถดำเนินการต่อภายใน Studio Global
คนยังถาม
คำตอบสั้น ๆ สำหรับ "เครื่องหมายบวกลบผิดจุด ทำ OpenAI ถอนงานคณิตศาสตร์ 3 ฉบับ" คืออะไร
เมื่อ 7 ตุลาคม 2026 OpenAI ถอนต้นฉบับ 3 ฉบับจากชุดงานคณิตศาสตร์ 722 ฉบับ หลังพบว่าความผิดพลาดเรื่องเครื่องหมาย +1/−1 ทำให้บทพิสูจน์เรื่อง Weil classes และงานที่พึ่งพาบทพิสูจน์นั้นใช้รองรับข้อสรุปไม่ได้
ประเด็นสำคัญที่ต้องตรวจสอบก่อนคืออะไร?
เมื่อ 7 ตุลาคม 2026 OpenAI ถอนต้นฉบับ 3 ฉบับจากชุดงานคณิตศาสตร์ 722 ฉบับ หลังพบว่าความผิดพลาดเรื่องเครื่องหมาย +1/−1 ทำให้บทพิสูจน์เรื่อง Weil classes และงานที่พึ่งพาบทพิสูจน์นั้นใช้รองรับข้อสรุปไม่ได้ แค็ตตาล็อกฉบับปรับปรุงเหลือ 719 ต้นฉบับใน 372 กลุ่ม พร้อมรายงานการแก้ไขต้นฉบับอีก 14 ฉบับและปรับปรุงการอ้างอิงในงานที่เกี่ยวข้อง 13 ฉบับ