OpenAI ระบุว่า AI ของบริษัทสามารถพิสูจน์ล้ม Exponential Time Hypothesis ซึ่งเป็นทฤษฎีด้านวิทยาการคอมพิวเตอร์จากปี 1999 ที่รู้จักกันในชื่อย่อ ETH โดยเรื่องนี้ไม่มีความเกี่ยวข้องใดๆ กับ Ethereum แต่อย่างใด แต่เทรดเดอร์คริปโตจำนวนหนึ่งกลับสับสนทั้งสองคำนี้เข้าด้วยกันบนโซเชียลมีเดียในช่วงสั้นๆ เหตุการณ์นี้สะท้อนให้เห็นว่าข้อกล่าวอ้างทางคณิตศาสตร์จาก AI สามารถส่งแรงกระเพื่อมไปยังตลาดที่ไม่เกี่ยวข้องได้รวดเร็วเพียงใด
เกิดอะไรขึ้นจริง
OpenAI เผยแพร่เปเปอร์ความยาว 67 หน้าเมื่อวันที่ 17 ตุลาคม 2025 และแก้ไขอีกครั้งในวันที่ 25 ตุลาคม โดยอ้างว่า AI ของบริษัทค้นพบอัลกอริทึมแบบ deterministic ที่สามารถแก้ปัญหา 3-SAT ได้ในเวลาต่ำกว่าระดับเอ็กซ์โพเนนเชียล ซึ่งเท่ากับเป็นการล้มทฤษฎี ETH บริษัทระบุว่าโมเดลของตนค้นพบข้อพิสูจน์ล้มทฤษฎีนี้เมื่อวันที่ 16 ตุลาคม และนำไปแปลงเป็นรูปแบบทางการด้วยเครื่องมือตรวจสอบที่ชื่อ Lean ในวันถัดมา ทั้งสองไฟล์ถูกเผยแพร่บน GitHub ควบคู่ไปกับต้นฉบับงานคณิตศาสตร์อีก 722 ชิ้นที่ OpenAI ปล่อยออกมาก่อนหน้านี้ในเดือนตุลาคม ซึ่งมีเพียง 162 ชิ้นเท่านั้นที่ผ่านการตรวจสอบด้วยคอมพิวเตอร์ นักวิทยาการคอมพิวเตอร์ Russell Impagliazzo, Ramamohan Paturi และ Ryan Williams จาก MIT ผู้นำทีมตรวจสอบอิสระ เขียนในจดหมายเปิดผนึกว่าผลลัพธ์ที่มีนัยสำคัญระดับนี้จำเป็นต้องผ่านการตรวจสอบอย่างรอบคอบและเป็นอิสระ ตามรายงานของ Decrypt ต่อมาในวันที่ 26 ตุลาคม Anthropic ได้เผยแพร่เปเปอร์แยกต่างหากที่ให้เครดิตโมเดล Claude ของตนว่าค้นพบอัลกอริทึมแก้ปัญหา 3-SAT ในลักษณะคล้ายกัน
ที่มาที่ไปของเรื่องนี้
ทฤษฎี ETH ถูกเสนอขึ้นในปี 1999 โดย Impagliazzo, Paturi และ Francis Zane โดยระบุว่าปัญหา 3-SAT ไม่สามารถแก้ได้เร็วกว่าวิธี brute force มากนัก และงานวิจัยหลายร้อยชิ้นในสาขาทฤษฎีกราฟ ชีววิทยาเชิงคำนวณ และฐานข้อมูล ต่างอ้างอิงสมมติฐานนี้เป็นพื้นฐาน ตามข้อมูลจาก OpenAI อย่างไรก็ตาม ข้อกล่าวอ้างนี้ไม่ได้แก้ปัญหา P versus NP ซึ่งเป็นคำถามว่าปัญหาที่ตรวจสอบคำตอบได้ง่ายทุกข้อจะสามารถหาคำตอบได้ง่ายเช่นกันหรือไม่ ก่อนหน้านี้ Claude ของ Anthropic เคยแปลงทฤษฎีบทสุดท้ายของแฟร์มาต์ให้อยู่ในรูปแบบ Lean มาแล้วเมื่อเดือนกันยายน 2025 ขณะที่นักคณิตศาสตร์ Terence Tao เคยเตือนไว้ก่อนหน้านี้ว่าเครื่องมือ AI อาจทำให้ปัญหาที่ยังเปิดอยู่ถูก "คลี่คลาย" ก่อนที่นักวิจัยจะทำงานเสร็จสิ้น ซึ่งเป็นการคาดการณ์ล่วงหน้าถึงความซ้อนทับระหว่างสองแล็บ AI ในครั้งนี้
เรื่องนี้สำคัญกับคุณอย่างไร
สำหรับผู้ถือ Ethereum ไม่มีอะไรเปลี่ยนแปลง เพราะ ETH ในกรณีนี้ไม่เกี่ยวข้องกับบล็อกเชน โทเคน หรือแผนงานพัฒนาของ Ethereum แต่อย่างใด ส่วนนักวิจัยและผู้พัฒนาด้าน AI เหตุการณ์นี้เป็นบททดสอบว่าข้อกล่าวอ้างที่ยังไม่ผ่านการพิสูจน์แพร่กระจายได้เร็วเพียงใด และเครื่องมือทางการอย่าง Lean จะช่วยเร่งกระบวนการตรวจสอบอิสระได้มากน้อยแค่ไหน OpenAI ระบุว่าบริษัทไม่ได้ลงนามในข้อตกลงไม่เปิดเผยข้อมูลใดๆ เผยแพร่ข้อมูลดิบทั้งหมด และได้มอบเงิน 5,000,000 ดอลลาร์สหรัฐให้กับ Simons Foundation เพื่อสนับสนุนเวิร์กช็อปสำหรับการตรวจสอบ โมเดลนี้อาจกลายเป็นต้นแบบของวิธีที่แล็บ AI ควรเผยแพร่ข้อพิสูจน์ที่ยังเป็นที่ถกเถียง สำหรับชุมชนคริปโต ความสับสนครั้งนี้เป็นเครื่องเตือนใจให้ตรวจสอบข้อเท็จจริงก่อนที่จะตอบสนองต่อพาดหัวข่าวที่ใช้ตัวย่อคล้ายกัน
คำถามใหญ่ที่รอคำตอบ
หาก AI สามารถล้มทฤษฎีที่ค้างคาอยู่นับสิบปีได้ก่อนที่กระบวนการตรวจสอบโดยผู้เชี่ยวชาญ (peer review) จะเสร็จสิ้น วงการวิจัยควรนิยามคำว่า "ข้อพิสูจน์" ใหม่อย่างไร ผู้ที่เสนอทฤษฎี ETH เองก็ยังไม่ได้รับรองข้อกล่าวอ้างของ OpenAI ทำให้ยังไม่ชัดเจนว่าการแปลงให้เป็นรูปแบบทางการด้วยเครื่องมืออย่าง Lean จะสามารถทดแทนกระบวนการตรวจสอบของมนุษย์ที่ค่อยเป็นค่อยไป ซึ่งวงการคณิตศาสตร์ยึดถือมานานนับศตวรรษได้หรือไม่
สิ่งที่ต้องจับตาต่อไป
การตรวจสอบอิสระโดย Impagliazzo, Paturi และ Williams ยังดำเนินต่อไปโดยไม่มีกำหนดเส้นตายที่แน่นอน ทุน 5,000,000 ดอลลาร์สหรัฐจาก Simons Foundation ของ OpenAI จะถูกนำไปใช้จัดเวิร์กช็อปและการประชุมเฉพาะทางสำหรับผลลัพธ์นี้โดยเฉพาะ ขณะที่เปเปอร์ของ Anthropic ที่เกี่ยวกับ Claude ซึ่งลงวันที่ 26 ตุลาคม 2025 ก็กำลังรอการตรวจสอบของตนเองเช่นกัน เทรดเดอร์คริปโตควรจับตาดูว่าข้อกล่าวอ้างทางคณิตศาสตร์จาก AI ในอนาคตจะสร้างความสับสนกับสัญลักษณ์โทเคนในลักษณะเดียวกันอีกหรือไม่
