An Unreleased Claude Model Just Made Real Progress on the Riemann Hypothesis
0:00 / 1:02
News
An Unreleased Claude Model Just Made Real Progress on the Riemann Hypothesis
calendar_today Date:
schedule Duration: 1:02
database
Summary Report
An unreleased research version of Claude pushed the proven lower bound on the Riemann hypothesis from 41.6% to 67.2%, coordinating 60 subagents and formalising the result in Lean.
- 01. Claude tested hundreds of ideas, searched the existing literature, challenged its own proof, and formalised the final result in Lean for machine verification
- 02. Two Anthropic mathematicians studied and validated the result themselves, marking real verified progress on an open problem in pure mathematics
An unreleased research version of Claude took a genuine stab at the Riemann hypothesis, pushing the proven lower bound for zeta function zeros from 41.6% to 67.2% by coordinating 60 of its own subagents and formalising the result in Lean.
