Anthropic AI Model Advances Progress on the Riemann Hypothesis, a 150-Year-Old Math Problem
Anthropic says an unreleased model on Aug 11, 2026 boosted the Riemann Hypothesis lower bound, confirmed by two in-house mathematicians and formalized in Lean. Over 1.5 days it tested 650 ideas across 60 subagents, spending 31M output tokens.