OpenAI Claims Reasoning Model Disproved 30-Year Computing Complexity Theory
Theoretical computer science was rocked on October 26, 2026, when OpenAI published a 67-page manuscript bluntly titled The Exponential Time Hypothesis is False. Accompanied by machine-checked code written in the Lean formal verification language, the paper claimed that an internal OpenAI reasoning ...