OpenAI กับ Anthropic อ้างพิสูจน์สมมติฐานอายุ 27 ปีผิด สั่นงานวิจัยคอมพิวเตอร์ทั้งสาย

OpenAI และ Anthropic ประกาศสัปดาห์นี้ว่าพิสูจน์ได้ว่า exponential time hypothesis (ETH) ซึ่งเป็นสมมติฐานอายุ 27 ปีในวิทยาการคอมพิวเตอร์เชิงทฤษฎีนั้นผิด ETH เป็นฐานคิดว่าการแก้ปัญหาบางประเภทต้องใช้เวลาเพิ่มขึ้นแบบทวีคูณตามขนาดปัญหา งานวิจัยด้านความซับซ้อนและการออกแบบอัลกอริทึมจำนวนมากถูกสร้างขึ้นบนสมมติฐานนี้มาตลอด

ทั้งสองบริษัทเผยแพร่บทพิสูจน์บน GitHub ทั้งแบบภาษาธรรมดาและแบบ Lean ที่ตรวจสอบด้วยเครื่องได้ แต่นักวิจัยยังไม่มีใครตรวจสอบอย่างเป็นอิสระ หรือแม้แต่อ่านเข้าใจทั้งหมด OpenAI ถึงกับขอให้นักวิทยาศาสตร์คอมพิวเตอร์จาก UC Santa Barbara ที่เป็นคนตั้งสมมติฐานนี้ตั้งแต่แรก ช่วยระดมนักวิจัยมาถอดรหัสบทพิสูจน์ ตอนนี้มีทั้งแบบฟอร์มขอรับอาสาสมัครและคำมั่นว่า OpenAI จะสนับสนุนทุนจัดประชุมเรื่องนี้โดยเฉพาะ

ศาสตราจารย์ Daniel Lokshtanov จาก UC Santa Barbara บอกว่าถ้าผลนี้ได้รับการยืนยัน งานตีพิมพ์ของเขาเองราว 50 ชิ้นจะกลายเป็นไร้ประโยชน์หรือต้องกลับไปแก้ใหม่

มันเหมือนระเบิดลูกใหญ่ตกกลางวงการเลยครับ มันทั้งเจ๋งและน่ากลัวในเวลาเดียวกัน

Thore Husfeldt หัวหน้ากลุ่มวิจัยอัลกอริทึมที่ IT University of Copenhagen บอกว่างานที่เขาทุ่มเวลาทำมาทั้งปีกลายเป็นไม่เกี่ยวข้องไปเลย แต่เขากลับรู้สึกตื่นเต้นมากกว่าหดหู่ ต่างจากนักวิจัยอีกหลายคนที่เขาบอกว่าช่วงหลายเดือนที่ผ่านมาหนักมาก ถึงขั้นภาควิชาเคยคิดจะจ้างนักจิตวิทยาด้านอาชีพ เพราะผลวิจัยจาก AI ที่ออกมาแทบทุกสัปดาห์มักล้มงานวิจัยที่คนกำลังทำอยู่

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