Math & science · August 2026

Two thirds of zeta zeros on the line

AI lifts the proven share of Riemann zeta zeros on the critical line to 67%.

An unreleased Claude model raised the proven proportion of nontrivial zeta zeros on the critical line from 41.6% to 67.2%, with a Lean-checked proof reviewed by Brian Conrey and Daniel Goldston. It is the largest step toward the Riemann hypothesis in decades.

See it in the living treeWikipediaSource