An unreleased Anthropic Claude research model delivered the largest single-step advance in decades on a core Riemann Hypothesis proxy in August 2026, lifting the proven lower bound for nontrivial zeta zeros on the critical line from 41.6% to 67.2% through synthesis of prior results by Bombieri, Baluyot, Goldston, Suriajaya, and Turnage-Butterbaugh. The improvement was formalized in Lean 4 with external validation by number theorists and stands as a verifiable, machine-checked contribution rather than a full proof. Subsequent September preprints have pushed related bounds higher, including distinct-zero proportions above 83%, while AI-assisted workflows continue to accelerate incremental number-theory work. Traders weigh these concrete capability demonstrations against the absence of any resolution to the full conjecture, with near-term catalysts centered on further AI model releases and peer-reviewed follow-ups.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedView resolved

Beware of external links.
Beware of external links.
Frequently Asked Questions