Science
OpenAI and Anthropic Claim AI Disproved a Core Computing Rule
Both labs say their models found algorithms refuting the Exponential Time Hypothesis, a 1999 bedrock of complexity theory. OpenAI says its proof is checked in Lean. The claims are NOT yet confirmed: ETH co-authors Impagliazzo and Paturi and MIT's Ryan Williams are leading an independent review.
