OpenAI 一次性发布 722 篇数学证明，随后撤回其中 3 篇并修正 14 篇
OpenAI 让新模型一口气写了 722 篇数学证明，结果 3 篇有错被撤下，14 篇在改。矩阵乘法复杂度那些问题挺有意思，可以翻翻。
OpenAI 一次性公开了 722 份数学理论证明，分为 377 组问题，素材来自 4,000 个未解决数学问题交给其未发布的新模型尝试求解。部分证明与计算机领域直接相关，例如矩阵乘法的 Big-O 复杂度新界限，不少证明附有 Lean 语言代码。目前 OpenAI 已发现 3 份报告存在错误而撤回，另有 14 份正在修改，剩余报告仍开放继续审查。
OpenAI เผยแพร่บทพิสูจน์คณิตศาสตร์รวดเดียวกว่า 700 รายการ แต่เริ่มถอนบางส่วนออกแล้ว Body OpenAI เผยแพร่บทพิสูจน์ทฤษฎีคณิตศาสตร์รวดเดียวถึง 722 รายการ แบ่งเป็นกลุ่มปัญหา 377 กลุ่ม ปัญหาบางข้อเกี่ยวกับวงการคอมพิวเตอร์โดยตรง เช่น การหาขอบเขตใหม่ของ Big-O ในการคูณแมทริกซ์ แต่ล่าสุดก็ต้องถอนรายงานบางส่วนและแก้ไขรายงานที่อ้างอิงถึงบทความเหล่านั้น ทาง OpenAI อาศัยการหาปัญหาคณิตศาสตร์ที่ยังไม่ถูกแก้ 4,000 ปัญหาไปให้โมเดลใหม่ที่ยังไม่ได้ปล่อยออกมาลองแก้ บทพิสูจน์จำนวนมากเหล่านี้หากใช้นักคณิตศาสตร์ทำงานจริงๆ ก็น่าจะใช้เวลาหลายปีทำให้การเผยแพร่ครั้งนี้น่าจะเปลี่ยนแนวทางการทำงานของนักคณิตศาสตร์ในอนาคตไปอย่างชัดเจน อย่างไรก็ตาม บทความที่เผยแพร่ออกมายังมีระดับความสมบูรณ์ต่างกันไป บางบทพิสูจน์มีโค้ดภาษา Lean แนบมาด้วย แม้จะมีโค้ด Lean แต่บางส่วนก็ยังดูมีปัญหาที่ต้องปรับแก้ ล่าสุดทาง OpenAI ก็ ตรวจพบความผิดพลาดในรายงาน 3 ฉบับที่ต้องถอนออก และมีการปรับแก้อีก 14 ฉบับ แต่กระนั้นรายงานอื่นก็ยังคงน่าศึกษาและตรวจสอบกันต่อไป ที่มา - OpenAI lew Fri, 09/10/2026 - 00:15
