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 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
- Anthropic holds the Sonnet 5 price increase · 70%, resolves November 30th 2026
- Anthropic IPOs before OpenAI · 75%, resolves August 6th 2027
- Anthropic keeps Model 2 unreleased through February 2027 · 70%, resolves March 1st 2027
- A second flagship API adopts time-of-day pricing · 55%, resolves February 17th 2027
- Anthropic runs no production traffic on Fractile silicon in 2027 · 70%, resolves December 31st 2027
- Broadcom's Anthropic chip financing closes at $60 billion or more · 65%, resolves June 30th 2027
Issues that mention Anthropic
- Daily brief, August 10th 2026
- Daily brief, August 11th 2026
- Daily brief, August 12th 2026
- Daily brief, August 13th 2026
- Daily brief, August 13th 2026
- Daily brief, August 14th 2026
Around the same time