Primary evidence
- Learning more about Claude's mathematical capabilitiesS2 · Official institutional · Official announcement · 2026-08-10
- Zeta23 Lean 4 formalizationS1 · Primary research · Formal artifact
Claude improves a longstanding lower bound related to the Riemann hypothesis
Claude coordinated dozens of subagents, searched literature and numerical evidence, and produced a paper; Anthropic mathematicians reviewed the result and a Lean formalization passed comparator.
What happened?
Anthropic reported that an unreleased Claude research model raised the known lower bound for the fraction of Riemann-zeta zeros on the critical line from 41.6% to 67.2%.
Why it matters
It is a notable example of autonomous mathematical exploration yielding an unexpected publishable result while failing at the original, much harder Riemann-hypothesis objective.
Significance rationale: A concrete AI-generated improvement to a longstanding analytic-number-theory bound is a historical AI4Math milestone because it contributes new mathematics rather than merely demonstrating benchmark competence; H1 does not replace the separate verification state.
Historical context
Earlier developments
Later developments
—
Related milestones
—
Evidence & status at a glance
- Significance
- H1 · Historical milestone
- Verification
- Independently corroborated
- Evidence level
- E3 · Inspectable artifact
- AI role
- Autonomous primary role
- Formal assurance
- Independently replayed
Contribution & verification
- Mathematical novelty
- New result
- Interface
- Informal, Formal, Symbolic, Hybrid
- AI contribution
- Claude generated and explored thousands of ideas with subagents, found the core argument and produced a formalization workflow.
- Human contribution
- Anthropic mathematicians reviewed the result, external experts examined it, and staff assisted formalization and publication.
- Verification
- Independently corroborated · E3 · Inspectable artifact · Independently replayed
- Last reviewed
- 2026-09-11
Technical details
- Systems
- claude-research, lean
- Organizations
- anthropic
- Problems
- riemann-hypothesis-related-zero-density
- Methods
- multi-agent, literature-search, analytic-number-theory, formalization
Sources & artifacts
- Learning more about Claude's mathematical capabilitiesS2 · Official institutional · Official announcement · accessed 2026-09-10
- Zeta23 Lean 4 formalizationS1 · Primary research · Formal artifact · accessed 2026-09-10
- Independent Verification — More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical LineS3 · Independent scholarly · Independent analysis · accessed 2026-09-10
- Lean 4 formalization of the zeta lower-bound resultArtifact · Proof artifact
- Independent rebuild and dual-kernel replay evidenceArtifact · Supplement
Verification history
- 2026-08-10 · Partially verified · E3 · Inspectable artifact
The Chronicle records this event from the cited primary or official source; the status does not imply independent Chronicle verification.
- 2026-08-11 · Partially verified · E3 · Inspectable artifact
Riemann Labs independently rebuilt the public Lean formalization in its own CI and reported successful statement-equality checks plus replay under the Lean default kernel and nanoda. This supports `independently_replayed` formal assurance, while broader mathematical peer review remains distinct and the Chronicle does not yet assign `independently_verified` status.
- 2026-09-10 · Independently corroborated · E3 · Inspectable artifact
Under the Chronicle's event-level verification semantics, Riemann Labs' independent rebuild, statement comparison and dual-kernel replay substantively corroborate the core event description and released formal artifact. This status does not mean the Chronicle independently adjudicates the ultimate correctness, priority or broader mathematical significance of the underlying research claim.
Corrections
No corrections recorded.