Anthropic has reported that an unreleased research version of Claude made progress on a problem related to the Riemann hypothesis, despite failing to solve the famous conjecture itself.
Claude combined existing mathematical results to improve the known lower bound for the proportion of Riemann zeta zeros satisfying the hypothesis from 41.6% to 67.2%.
The model coordinated around 60 subagents, conducted thousands of numerical checks, reviewed prior research, and generated a formal Lean proof. Anthropic mathematicians examined the result, while external experts also reviewed the paper. Anthropic says the finding demonstrates rapidly improving AI capabilities in advanced mathematical research.
