Researchers begin checking OpenAI and Anthropic claims that AI disproved the Exponential Time Hypothesis
Both labs posted Lean-checked proofs on GitHub, but no independent expert has verified them; WIRED reports theorists are already reworking papers for the FOCS conference, and OpenAI has asked the hypothesis's originators to organise review and offered to fund a conference.