What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomous process of testing 650 ideas across 60 subagents over 31 million output tokens, the confirmation by in house mathematicians and formaliza

The autonomous process

The achievement followed a striking multi-agent workflow:

• An Anthropic staff member with no serious math background asked the model to "take a real stab" at proving the hypothesis .
• Over approximately 1.5 days, the model tested roughly 650 candidate approaches across 60 coordinated subagents .
• The run consumed 31 million output tokens across two sessions, executed 2,400 shell commands, and reviewed 54 arXiv papers .
• Two of the 60 subagents were responsible for developing the key mathematical breakthrough .
• The winning approach synthesized a 2000 paper by Enrico Bombieri with more recent results—a combination no prior human researcher had assembled .

Verification process

Two in-house mathematicians—Levent Alpöge and Ralph Furmaniak—reviewed and confirmed the proof . The argument was then formalized in Lean, an interactive theorem prover, producing a machine-checkable certificate of correctness . This dual validation (expert human review + formal verification) is widely considered best-practice evidence for AI-generated mathematical results.

Broader 2026 context: a turning point for AI in mathematics

Claude's Riemann bound improvement is not an isolated event. 2026 has seen an accelerating sequence of AI-led mathematical breakthroughs:

• May 2026 — OpenAI announced that an unreleased general reasoning model had autonomously disproved the Erdős unit-distance conjecture, an 80-year-old open problem .
• May 2026 — Google DeepMind's AlphaProof Nexus solved nine open Erdős problems (some unsolved for 56 years) and proved 44 conjectures from the Online Encyclopedia of Integer Sequences, all formalized in Lean .
• July 2026 — Anthropic mathematician Levent Alpöge used the unreleased "Fable 5" model to find a counterexample to the Jacobian conjecture, a problem posed in 1939 .
• August 2026 — OpenAI's Astra model reportedly solved ten decades-old mathematical problems for roughly $2,000 in compute cost, with machine-checkable proofs published in Lean on GitHub .

Several commentators have noted that the field crossed a threshold in mid-2026: AI systems moved from solving competition-level math to generating publishable, open-problem-level research .

The debate: authorship, standards, and the Leiden Declaration

The rapid pace of AI-generated mathematics has triggered intense debate:

• In June 2026, a group of 16 mathematicians published the Leiden Declaration on Artificial Intelligence and Mathematics, recommending new standards for proof structure, authorship attribution, and human oversight of AI-generated results . The declaration has since been discussed by the International Mathematical Union .
• Key tensions include: Who gets authorship credit when an AI generates a proof? Can the field maintain epistemic trust if proofs are too long or novel for humans to fully inspect without formal tools? And how should journals peer-review results that no single human could have produced ?
• Some mathematicians argue AI-assisted proofs risk eroding understanding and explanatory insight—a proof may be correct yet opaque . Others see formal verification in Lean as providing a stricter standard than traditional peer review .

What this means for AI's ability to discover new science

The Anthropic Riemann result advances the discussion in several concrete ways:

1. Scale of autonomous exploration matters. Testing 650 ideas across 60 subagents demonstrates that multi-agent architectures can perform systematic search at a scale no human research group could match in the same timeframe . This shifts the question from "Can AI do math?" to "How should we integrate AI-wide exploration into the scientific discovery pipeline?"

2. Serendipitous synthesis is possible. The fact that a model with no mathematical training combined a Bombieri paper (2000) with newer results—a combination no human had seen—shows that AI can make non-obvious conceptual connections across disparate literatures . This capability directly addresses a core concern about whether LLMs merely interpolate or can genuinely discover.

3. Formal verification resolves the trust problem. The Lean formalization means the result is not a "black box" claim. It is a provably correct theorem that any mathematician can inspect mechanically . This offers a template for how AI-generated scientific results can be made verifiable, addressing one of the strongest objections to AI-led discovery.

4. The authorship and standards debate is constructive, not paralyzing. The simultaneous emergence of both stunning results (DeepMind, OpenAI, Anthropic) and community-led institutional responses (the Leiden Declaration) suggests the mathematical community is adapting rather than retreating . The current conversation centers on norms and credit, not on rejecting AI outputs wholesale.

5. The cost and speed of discovery are collapsing. The $2,000 compute cost for OpenAI's Astra results and the 36-hour turnaround for Claude's Riemann bound suggest that the marginal cost of a publishable mathematical discovery is approaching near-zero . This has profound implications for what questions researchers choose to pursue and who can participate in mathematical research.

In short: The Anthropic Riemann bound improvement is a landmark demonstration that AI systems can now autonomously discover publishable, formally verifiable mathematical results that advance a 150-year-old open problem. Combined with 2026's string of similar breakthroughs, it moves the discussion from "whether AI can contribute to scientific discovery" to "how the scientific community should structure incentives, attribution, and verification for a new class of AI-co-discoverers."