The AI Read
← Timeline
Aug 10 2026

An unreleased Claude raises the Riemann zeta critical-line lower bound from 41.6% to 67.2%, the largest single advance in the bound's history, verified in Lean

MODEL
Original reporting

No source was cited for this one in the issue that logged it. The link above searches for it instead of guessing at a URL.

About 60 subagents in Claude Code across two sessions, 31M output , 2,400 shell commands. Reviewed by Brian Conrey and Dan Goldston; Anthropic says the technique does not point toward a full proof of the hypothesis.

Named in this event

Anthropic

Open calls that touch this
Issues that mention Anthropic
Around the same time