งานวิจัย
OpenAI อ้างโมเดลภายในหักล้าง Exponential Time Hypothesis — นับคำตอบ k-SAT ได้ในเวลา subexponential พร้อม Lean, และอ้างพิสูจน์ local smoothing/Kakeya ทุกมิติกับการมีอยู่ของ Yang–Mills/QCD ด้วย แต่ยังไม่มีใครภายนอกยืนยัน
เมื่อ 26 ต.ค. 2026 OpenAI ประกาศผลงานใหม่ 3 ชิ้นจากโมเดลภายใน ชิ้นที่ใหญ่ที่สุดคือ preprint "The Exponential Time Hypothesis is False" ซึ่งเสนออัลกอริทึม deterministic ที่นับคำตอบของ k-CNF ได้ในเวลา 2^O(n/√log n) และมี Lean formalization ประกอบ คณะที่นำโดย Impagliazzo, Paturi (ผู้ตั้ง ETH) และ Ryan Williams จะเป็นผู้ตรวจ ส่วนอีกสองชิ้นคือ local smoothing/Kakeya ทุกมิติ และการมีอยู่ของ Yang–Mills/QCD ซึ่งยังไม่ปล่อยเอกสาร ทั้งหมดยังเป็น claim ที่ไม่มีผู้เชี่ยวชาญภายนอกยืนยัน
· อ่าน 6 นาที