Exponential Time Hypothesis

OpenAI and Anthropic both claim their models refuted a core conjecture of computer science, with Lean proofs attached. It changes theory, not…