Narrative thread
Anthropic's Claude advances Riemann hypothesis research without solving it
2 stories · since Aug 10
Combined activity · last 24 hours peak 8/hr
8 items · 4 PM
Aug 11
How the narrative developed 2 stories
- Aug 10
-
Running 1m
Zeta23 — a Lean 4 formalization of “More than two thirds of the zeros of the Riemann zeta function lie on the critical line”
1 source -
AIRunning 8h
Anthropic's Claude advances Riemann hypothesis research without solving it
An unreleased Claude model improved the proven lower bound on zeros satisfying the Riemann hypothesis, a major unsolved problem in mathematics.
4 sources