↻
Felix M. Simon reposted
@jjaron.bsky.social
If we end up solving the Riemann Hypothesis by telling a computer "bro, believe in yourself" then I might have to go live in a hole www.anthropic.com/research/rie...
AI Weekly's analysis
→
- An unreleased Claude research build lifted a lower bound for zeros of the Riemann zeta function from 41.6% to 67.2%, per Anthropic.
- The run used 31 million output tokens across two sessions, about 60 subagents, 2,400 shell commands, and reviewed 54 arXiv papers.
- Anthropic mathematicians Levent Alpöge and Ralph Furman plus external reviewers Brian Conrey and Dan Goldston examined the findings; Claude produced a Lean formalization.
Read full analysis →
View on Bluesky →