งานวิจัย
OpenAI ถอนเปเปอร์คณิตศาสตร์ 3 ฉบับจาก repo openai/math — เครื่องหมายผิดตัวเดียวใน Weil classes ทำให้ผลเรื่อง Hodge ที่ต่อยอดกันล้มไปด้วย และแก้อีก 14 ฉบับ
สองวันหลังเปิด repo openai/math ที่มีต้นฉบับคณิตศาสตร์ที่ AI สร้าง 722 ฉบับ OpenAI เพิ่มไฟล์ history.md ลงวันที่ 7 ต.ค. 2026 ประกาศถอนเปเปอร์ 3 ฉบับ เพราะพบเครื่องหมายผิดในเปเปอร์ Weil classes บน abelian eightfolds ซึ่งอีกสองฉบับเรื่อง K3 surfaces ใช้ต่อยอด แก้ไขอีก 14 ฉบับ และเพิ่ม Lean จนผลหลักที่ formalize แล้วอยู่ที่ 300 จาก 719 หรือราว 42%
· อ่าน 5 นาที