ระบบ AI ชั้นนำสองระบบที่ทำงานแยกกัน ได้ทำสิ่งที่นักคณิตศาสตร์มนุษย์ไม่มีใครทำได้ตลอดสามทศวรรษ: การคว่ำสมมติฐานเวลาเอกซ์โพเนนเชียล (ETH)
OpenAI ประกาศว่าโมเดลวิจัยของตนค้นพบการคว่ำ ETH ด้วยภาษาธรรมชาติเมื่อวันที่ 16 ตุลาคม และได้รับการพิสูจน์อย่างเป็นทางการใน Lean เครื่องตรวจสอบบทพิสูจน์อัตโนมัติ ในวันรุ่งขึ้น เอกสารต้นฉบับ 67 หน้าระบุผู้เขียนว่า "OpenAI"
ไม่กี่ชั่วโมงก่อนหน้านั้น Anthropic ได้เผยแพร่บทความ 49 หน้าของตนเองชื่อ "A 2^o(n) Time Algorithm for 3-SAT" โดยให้เครดิต "Claude, Anthropic" โมเดลวิจัย Claude ภายในค้นพบอัลกอริทึมหลักในวันเดียวกัน คือ 16 ตุลาคม
ETH ซึ่งเสนอโดย Russell Impagliazzo และ Ramamohan Paturi เมื่อราวปี 1999 ระบุว่าไม่มีอัลกอริทึมใดแก้ปัญหาความพึงพอใจบูลีนได้เร็วกว่าเวลาเอกซ์โพเนนเชียล มันเป็นรากฐานของผลความยากแบบมีเงื่อนไขหลายร้อยข้อในทฤษฎีกราฟ ฐานข้อมูล ชีววิทยาเชิงคำนวณ และเรขาคณิตเชิงคำนวณ
ทั้งสองทีมอ้างว่ามีอัลกอริทึมแบบกำหนดนิยมที่นับการกำหนดค่าที่สอดคล้องในเวลาต่ำกว่าเอกซ์โพเนนเชียล โดยมีพจน์นำในเลขชี้กำลังเหมือนกัน หากข้ออ้างนี้ยืนหยัดได้ กำแพงรับน้ำหนักบานหนึ่งของทฤษฎีความซับซ้อนจะพังลง
กลไกการตรวจสอบแข็งแกร่งผิดปกติ บทพิสูจน์ถูกจัดรูปแบบใน Lean ซึ่งตรวจทุกขั้นตอนอย่างเป็นกลไก Stefan Szeider จาก TU Wien ผู้ตรวจสอบเอกสารที่เผยแพร่ คาดว่ามันจะทนต่อการพิสูจน์ ประเด็นที่น่าทึ่งที่สุด: คณะกรรมการตรวจสอบอิสระที่ OpenAI แต่งตั้งมี Impagliazzo และ Paturi รวมอยู่ด้วย - ผู้เสนอสมมติฐานกำลังตรวจสอบการคว่ำสมมติฐานของตนเอง จดหมายเปิดผนึกของพวกเขาระบุว่าสิ่งนี้อาจเปลี่ยนส่วนสำคัญของวิทยาการคอมพิวเตอร์
ข้อจำกัดสำคัญไม่แพ้ผลลัพธ์ ปัญหา P เทียบกับ NP ไม่ถูกแตะต้อง อัลกอริทึมใหม่ยังคงเป็นซูเปอร์พหุนาม จึงไม่มีตัวแก้ SAT ที่เร็วขึ้นออกมาจากมัน สิ่งที่เปลี่ยนคือแผนที่ของสิ่งที่เป็นไปได้เชิงทฤษฎี และใคร - หรืออะไร - ที่กำลังวาดมันใหม่
สำหรับผู้นำธุรกิจ สัญญาณไม่ได้อยู่ที่คณิตศาสตร์ สัญญาณคือ AI ได้ข้ามจากการร่างข้อความและโค้ด ไปสู่การผลิตงานวิจัยต้นฉบับที่เครื่องตรวจสอบแล้ว สมมติฐานที่ว่าเครื่องจักรทำวิทยาศาสตร์ใหม่ไม่ได้ เพิ่งได้รับการโจมตีอย่างหนัก และชายแดนความสามารถกำลังเคลื่อนเร็วกว่ารอบการวางแผนส่วนใหญ่
บริษัทที่มอง AI เป็นคู่หูการวิจัย ไม่ใช่ผู้ช่วยพิมพ์ จะเป็นผู้กำหนดจังหวะของทศวรรษหน้า
คิดอย่างคณิตศาสตร์ ออกแบบอย่างชาญฉลาด นำอย่างมีกลยุทธ์ สร้างอย่างรับผิดชอบ ขยายสู่ระดับโลก สร้างมูลค่าธุรกิจที่แท้จริงผ่านปัญญาประดิษฐ์
