Stories
Lean
Stories curated for Lean
Artificial Intelligence
OpenAI and Anthropic Claim AI Models Refuted the Exponential Time Hypothesis
On October 26, 2026, OpenAI and Anthropic announced that internal AI models independently produced proofs refuting the Exponential Time Hypothesis, a 27-year-old cornerstone of theoretical computer science. Expert review is underway.
AI
OpenAI Releases 722 AI-Generated Math Manuscripts, Including Claimed Unique Games Proof
OpenAI published 722 mathematical manuscripts from an unreleased internal model on October 6, organized into 372 result families, with claims including a proof of the Unique Games Conjecture and partial Lean formalizations.