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