OpenAI เปิดบทพิสูจน์คณิตศาสตร์กว่า 700 รายการจากโมเดลใหม่ ก่อนพบข้อผิดพลาดต้องถอน 3 ฉบับ

OpenAI เปิดบทพิสูจน์คณิตศาสตร์กว่า 700 รายการจากโมเดลใหม่ ก่อนพบข้อผิดพลาดต้องถอน 3 ฉบับ

บริษัท OpenAI ผู้พัฒนาปัญญาประดิษฐ์สัญชาติสหรัฐฯ เผยแพร่บทพิสูจน์ทฤษฎีคณิตศาสตร์พร้อมกัน 722 รายการ ครอบคลุมกลุ่มปัญหา 377 กลุ่ม โดยอาศัยโมเดลใหม่ที่ยังไม่เปิดให้ใช้งานทั่วไป หลังป้อนโจทย์คณิตศาสตร์ที่ยังไม่มีใครแก้ได้ราว 4,000 ข้อให้ลองทำ เมื่อวันที่ 9 ตุลาคม 2026 แต่ล่าสุดบริษัทตรวจพบข้อผิดพลาดและต้องถอนรายงานออก 3 ฉบับ พร้อมแก้ไขอีก 14 ฉบับ

Key facts

เนื้อหาบทพิสูจน์ครอบคลุมอะไรบ้าง

ในบรรดาบทพิสูจน์ทั้ง 722 รายการที่เผยแพร่ มีบางข้อเชื่อมโยงกับวิทยาการคอมพิวเตอร์โดยตรง เช่น การกำหนดขอบเขตใหม่ของ Big-O สำหรับการคูณแมทริกซ์ ซึ่งเป็นหัวข้อพื้นฐานที่นักวิจัยด้านอัลกอริทึมให้ความสนใจมานาน

บทพิสูจน์จำนวนมากหากให้ทีมนักคณิตศาสตร์ลงมือทำเองตามกระบวนการปกติ น่าจะต้องใช้เวลาหลายปีติดต่อกัน การเปิดเผยออกมาครั้งเดียวในปริมาณมากเช่นนี้จึงถูกมองว่าจะเปลี่ยนแนวทางการทำงานของนักคณิตศาสตร์ในอนาคตอย่างชัดเจน

อย่างไรก็ตาม คุณภาพของแต่ละบทพิสูจน์ยังแตกต่างกันมาก บางฉบับมีความสมบูรณ์สูงและมีโค้ดภาษา Lean แนบมาด้วยเพื่อให้ตรวจสอบได้ด้วยเครื่อง แต่บางฉบับแม้จะมีโค้ด Lean กำกับก็ยังพบจุดที่ต้องปรับแก้

OpenAI พบข้อผิดพลาดอะไร

หลังการเผยแพร่ ทาง OpenAI ได้ตรวจทานเนื้อหาและพบความผิดพลาดในรายงาน 3 ฉบับ ซึ่งต้องถอนออกจากชุดที่เผยแพร่ทั้งหมด ขณะเดียวกันมีอีก 14 ฉบับที่ต้องแก้ไขเนื้อหาให้ถูกต้อง

การถอนรายงานบางส่วนยังส่งผลให้ต้องแก้ไขรายงานฉบับอื่นที่อ้างอิงถึงบทความเหล่านั้นด้วย ซึ่งสะท้อนว่าการตรวจสอบความถูกต้องของงานคณิตศาสตร์ที่สร้างโดยเครื่องจักรยังต้องอาศัยการทบทวนจากมนุษย์อย่างใกล้ชิด

แม้จะมีการถอนและแก้ไขบางส่วน รายงานที่เหลือก็ยังได้รับการประเมินว่าน่าศึกษาและควรได้รับการตรวจสอบต่อจากผู้เชี่ยวชาญในสาขาที่เกี่ยวข้อง

ทำไมเรื่องนี้สำคัญกับวงการวิจัย

การที่โมเดลภาษาขนาดใหญ่สามารถผลิตบทพิสูจน์คณิตศาสตร์ได้ในปริมาณมากภายในครั้งเดียว เป็นสัญญาณว่าความสามารถของเครื่องมือประเภทนี้กำลังขยับจากงานเขียนทั่วไปมาสู่งานวิชาการที่มีเกณฑ์ตรวจสอบชัดเจน

สำหรับนักวิจัยและสถาบันการศึกษาในไทยที่ติดตามเครื่องมือ AI เพื่อการเรียนการสอนและการวิจัย ความท้าทายหลักไม่ได้อยู่ที่จำนวนบทพิสูจน์ที่ผลิตได้ แต่อยู่ที่กระบวนการกลั่นกรอง ตรวจทาน และอ้างอิงผลงานอย่างมีจริยธรรมวิชาการ

กรณีของ OpenAI ยังชี้ให้เห็นว่าการแนบโค้ดพิสูจน์ที่ตรวจสอบได้ด้วยเครื่องอย่าง Lean อาจกลายเป็นมาตรฐานใหม่ที่ช่วยให้ทีมวิจัยทั่วโลก รวมถึงในไทย ตรวจสอบผลลัพธ์จาก AI ได้เร็วขึ้นและโปร่งใสขึ้น

ก้าวต่อไปหลังการแก้ไข

OpenAI ยังไม่ได้ประกาศกรอบเวลาสำหรับการเปิดเผยโมเดลใหม่ที่ใช้สร้างบทพิสูจน์ชุดนี้ต่อสาธารณะ และยังไม่ระบุว่าจะเผยแพร่รายงานฉบับแก้ไขเพิ่มเติมเมื่อใด ผู้ที่สนใจสามารถติดตามความคืบหน้าและข้อผิดพลาดที่อาจถูกแก้ไขเพิ่มได้จากรายงานฉบับที่ยังเปิดให้ตรวจสอบอยู่ในปัจจุบัน

ข่าวอื่น ๆ

Sitemap