OpenAI：GPT-5.6 Sol Ultra พิสูจน์ปัญหาทฤษฎีกราฟที่ค้างคามา 50 ปี ภายใน 1 ชั่วโมง
Odaily Planet Daily รายงานว่า Ethan Knight นักวิจัยของ OpenAI กล่าวบนแพลตฟอร์มโซเชียล X เมื่อวันที่ 12 ว่า GPT-5.6 Sol Ultra ได้สร้างเอกสารการพิสูจน์และคำแนะนำสำหรับปัญหาที่ค้างคามาเป็นระยะเวลานานในสาขาทฤษฎีกราฟที่เรียกว่า "Cycle Double Cover Conjecture" โมเดลดังกล่าวทำงานภายใต้การกำหนดค่าย่อยแบบขนานสูงสุด 64 ตัว โดยไม่ใช้อินเทอร์เน็ต และสร้างผลลัพธ์ได้สำเร็จภายในเวลาประมาณ 1 ชั่วโมง
เอกสารที่ OpenAI เผยแพร่มีความยาวทั้งหมด 3 หน้า โดยเริ่มต้นด้วยการลดทอนปัญหาให้อยู่ในรูปของกราฟปกติกำลังสาม จากนั้นใช้ 8-flow theorem และการกำหนดป้าย GF(3) และใช้วิธีการทางพีชคณิตเชิงเส้นเพื่อสร้างโครงสร้างที่แต่ละขอบจะอยู่ในสองไซเคิลพอดี ผลลัพธ์นี้ยังไม่ได้ผ่านการตีพิมพ์ในวารสารวิชาการ การตรวจสอบโดยผู้ทรงคุณวุฒิ หรือการตรวจสอบผ่านระบบการพิสูจน์เชิงรูปนัย เช่น Lean หรือ Coq Thomas Bloom นักคณิตศาสตร์จากมหาวิทยาลัยแมนเชสเตอร์ในสหราชอาณาจักร ประเมินว่าการพิสูจน์นี้ "ยอดเยี่ยมมาก" แต่ชี้ให้เห็นว่าการอ้างอิงเอกสารยังไม่เพียงพอ (ZDNet Korea Semiconductor)
