Tag
Computational Complexity
-
Two AI Labs Say They Killed the Exponential Time Hypothesis on the Same Day
OpenAI and Anthropic both claim their models refuted a core conjecture of computer science, with Lean proofs attached. It changes theory, not…