OpenAI and Anthropic Say Their AI Models Disproved the Exponential Time Hypothesis
Both labs released Lean-checked proofs within a day of each other. The researchers organizing outside review say they have not certified the result, and neither lab claims a practical speedup.