Hacker News
An Unreleased Claude Pushed the Riemann Zeta Zero Bound From 41.6% to 67.2% Across Two Claude Code Sessions and 31M Output Tokens
Anthropic published on August 10, 2026 that an unreleased research version of Claude improved the lower bound on the proportion of Riemann zeta zeros satisfying the Riemann hypothesis from 41.6% to 67.2%, working through Claude Code over two sessions consuming 31 million output tokens and producing a formally verifiable Lean proof. Anthropic mathematicians Levent Alpöge and Ralph Furman validated it, with outside review from Brian Conrey and Dan Goldston. Anthropic explicitly caps the hype — "We don't expect that the techniques Claude used will lead to proving the Riemann hypothesis" — and notes the work synthesized existing results rather than inventing new frameworks; 218 points, 144 comments on HN.
↳ Follow the thread