OpenAI ปล่อยไฟล์ PDF ขึ้นเซิร์ฟเวอร์เมื่อ 10 กรกฎาคม 2026 ที่อ้างว่าเป็น บทพิสูจน์ของข้อความคาดการณ์ Cycle Double Cover — โจทย์ที่นักคณิตศาสตร์พยายามแก้มานานราว 50 ปี โดยระบุผู้เขียนบทพิสูจน์ว่าเป็น โมเดล GPT-5.6 Sol Ultra ล้วน ๆ ไม่ใช่มนุษย์
ที่ทำให้วงการฮือฮาคือคำกล่าวอ้างเรื่องความเร็ว: โมเดลสร้างบทพิสูจน์นี้ได้ในเวลา "ไม่ถึงหนึ่งชั่วโมง" โดยสั่งให้รัน เอเจนต์ย่อย (subagents) ขนานกันถึง 64 ตัว ให้แต่ละตัวลองมุมต่างกันแล้วคัดเส้นทางที่ไปต่อได้
โจทย์นี้คืออะไร
ในคณิตศาสตร์ "กราฟ" คือจุด (nodes) ที่เชื่อมกันด้วยเส้น (edges) ข้อความคาดการณ์นี้ตั้งโดย George Szekeres (ปี 1973) และ Paul Seymour (ปี 1979) บอกว่า กราฟใด ๆ ที่ไม่มี "สะพาน" (เส้นที่ถ้าตัดออกจะทำให้กราฟขาดเป็นสองส่วน) จะสามารถหา ชุดของวงรอบ ที่ครอบคลุมทุกเส้น พอดีสองครั้ง ได้เสมอ
ฟังดูเรียบง่าย แต่การพิสูจน์ให้ได้ว่าจริง "ทุกกรณี" คือสิ่งที่เล่นงานนักคณิตศาสตร์มาครึ่งศตวรรษ
ทำไมต้องใจเย็น
นี่คือจุดที่ต้องระวังการโอเวอร์เคลม บทพิสูจน์นี้ยัง ไม่ผ่านการตรวจทานโดยผู้เชี่ยวชาญ (peer review) และกำลังถูกนักคณิตศาสตร์ทั่วโลก "อ่านกันสด ๆ" ต่อหน้าสาธารณะ
โจทย์ข้อนี้มีประวัติ "บทพิสูจน์" ที่เคยถูกประกาศแล้วภายหลังพบว่ามีช่องโหว่หรือถูกถอนออกมาหลายครั้ง การมีไฟล์ PDF ที่ดูสมเหตุสมผล ไม่เท่ากับ โจทย์ถูกปิดจบ จนกว่าผู้เชี่ยวชาญจะไล่ตรวจทุกขั้นตอนและยอมรับ
ข่าวนี้เกิดขึ้นท่ามกลางกระแสปี 2026 ที่ห้องแล็บ AI แข่งกันโชว์ว่าโมเดลของตน "คิดเชิงเหตุผล" กับโจทย์คณิตศาสตร์และวิทยาศาสตร์ยาก ๆ ได้ ไม่ใช่แค่คุยเก่ง และยิ่งโมเดลกล้าอ้างผลลัพธ์ใหญ่ ๆ การมี "คนกลาง" คอยตรวจสอบอย่างอิสระก็ยิ่งสำคัญ ไม่ใช่ลดลง
แปลว่าอะไร
ต่อให้บทพิสูจน์นี้สุดท้ายมีรูรั่ว เรื่องนี้ก็ยังสำคัญ เพราะมันสะท้อนว่า AI กำลังขยับจาก "ผู้ช่วยสรุป/เขียน" ไปสู่การ ลองสร้างผลลัพธ์ใหม่ในโจทย์ที่ต้องใช้เหตุผลหนัก ๆ และทำได้เร็วอย่างน่าตกใจ
แต่มันก็เผยคอขวดใหม่ไปพร้อมกัน: AI ผลิต "คำตอบที่ดูน่าเชื่อ" ได้เร็วกว่าที่มนุษย์จะตรวจสอบทัน ซึ่งเป็นบทเรียนเดียวกับการใช้ AI ในงานธุรกิจ — ไม่ว่าจะร่างสัญญา สรุปตัวเลข หรือเขียนโค้ด ผลลัพธ์ที่ "ดูเป๊ะ" ยังต้องมีคนตรวจก่อนเชื่อเสมอ