ผลที่ Anthropic ประกาศ
- งานนี้เป็นบทความยาว 49 หน้า ใส่ชื่อผู้เขียนว่า Claude
- บอกว่ามีวิธีแก้โจทย์ 3-SAT ได้เร็วกว่าเวลาแบบทวีคูณ ซึ่งแปลว่า ETH ผิด
- โจทย์นี้ถามว่าจะตั้งค่าจริงหรือเท็จให้ตัวแปรยังไง ให้เงื่อนไขทุกข้อเป็นจริงพร้อมกัน
- วิธีนี้ยังนับได้ด้วยว่ามีคำตอบที่ใช้ได้กี่แบบ ซึ่งยากกว่าการถามแค่ว่ามีหรือไม่มี
- สถิติเดิมของวิธีแบบไม่ใช้การสุ่ม อยู่ที่ราว 1.328 ยกกำลังจำนวนตัวแปร
- ผลนี้ยังล้ม SETH ซึ่งเป็นข้อสันนิษฐานที่แรงกว่า ETH ไปด้วย
เอไอทำเองแค่ไหน
- บริษัทบอกว่าโมเดลวิจัยภายในเจออัลกอริทึมหลักเมื่อ 16 ต.ค.
- โมเดลเขียนออกมาราว 14 ล้านโทเคน โดยไม่มีคนช่วยเลย
- จากนั้นนักวิจัยของบริษัทจึงช่วย Claude เรียบเรียงให้อ่านง่ายขึ้น
- บทพิสูจน์ถูกแปลงเป็นภาษา Lean ที่ให้คอมพิวเตอร์ไล่ตรวจได้ทีละขั้น
- งานแปลงนี้ก็เป็นฝีมือเอไอ และมีตัวตรวจอีกตัวที่เขียนแยกกันมาตรวจซ้ำ
- ไฟล์ทั้งหมดเปิดบนกิตฮับ ใครอยากตรวจเองก็สั่งได้ บริษัทบอกว่าใช้เวลาราว 8 นาที
- บริษัทยังบอกว่า Claude Opus 5.5 ถ้าให้คิดนาน ๆ หาวิธีนี้ซ้ำได้จากคำใบ้ไม่กี่บรรทัด
เกี่ยวกับ OpenAI ยังไง
- ในบทความเขียนว่า โมเดลภายในของ OpenAI อ้างว่าพิสูจน์ผลคล้ายกันได้
- บริษัทใช้คำว่าทำได้แยกกัน และในช่วงเวลาเดียวกัน
- ฝั่งนั้นประกาศเมื่อ 26 ต.ค. และบอกว่าโมเดลเจอวิธีเมื่อ 16 ต.ค. เหมือนกัน
- บทความไม่ได้ลงรายละเอียดว่าวิธีของสองบริษัทต่างกันตรงไหน
ข้อควรรู้
- ผลนี้เป็นเรื่องทางทฤษฎีล้วน บริษัทเขียนเองว่าไม่ได้ช่วยให้แก้โจทย์จริงเร็วขึ้น
- และไม่ได้ตอบคำถามใหญ่ว่า P เท่ากับ NP หรือไม่
- แต่ถ้าถูก โจทย์ดังอีกหลายข้อ เช่น การหากลุ่มจุดในกราฟ จะมีวิธีที่เร็วขึ้นตามไปด้วยในทางทฤษฎี
- ตอนนี้ยังเป็นงานที่บริษัทปล่อยเอง ยังไม่ผ่านการตรวจของวารสารวิชาการ
สรุป
สองบริษัทเอไอใหญ่ออกมาบอกในเวลาไล่เลี่ยกันว่า โมเดลของตัวเองล้มข้อสันนิษฐานที่วงการเชื่อกันมา 25 ปีได้ ถ้านักวิชาการตรวจแล้วผ่าน นี่จะเป็นหลักฐานชัดว่าเอไอเริ่มทำงานวิจัยแนวหน้าได้เองแล้ว
แหล่ง: Anthropic · 27 ต.ค. 2026