An AI From Anthropic Got Closer to Solving One of Math's Hardest Problems

Anthropic announced on August 10, 2026 that an unreleased AI model made measurable progress on the Riemann hypothesis, increasing the proportion of zeros of the Riemann zeta function known to satisfy the hypothesis from 41.6% to 67.2% (Anthropic Research). The Riemann hypothesis, unsolved for more than 150 years, concerns the distribution of prime numbers and carries a $1 million bounty from the Clay Mathematics Institute that remains unclaimed (TechCrunch).

The task was initiated by an Anthropic staff member who lacks significant mathematical training. According to TechCrunch's reporting, this individual prompted the model to attempt a genuine proof of the Riemann hypothesis and then left the model to coordinate the work autonomously (TechCrunch). The model ran for roughly a day and a half, testing 650 different ideas and coordinating across 60 sub-agents. Anthropic reported total compute spending of 31 million on the task.

A sub-agent is a copy of the AI given a specific job within a larger project. Of the 60 agents, two developed the key mathematical ideas that drove the result. Thirteen contributed additional ideas. Thirty attempted to generate novel approaches but were unable to produce viable new directions. Thirteen served as validators. Two helped write the initial paper (TechCrunch). The distribution suggests a system where productive insight was concentrated in a small fraction of the agent pool, with the majority performing verification or exploratory dead-end work.

Anthropic confirmed the result through two of its in-house mathematicians and formalized it using Lean, the open-source proof assistant (TechCrunch). Lean is a program that checks mathematical proofs step by step, the way a compiler checks computer code for errors. The company also published a technical paper, "More Than Two Thirds of the Zeros of the Riemann Zeta Function ...," hosted on its CDN, which describes the linear algebra techniques applied to the problem (Anthropic CDN). A first-party research page titled "Learning more about Claude's mathematical capabilities" accompanied the release at anthropic.com/research/riemann-zeta (Anthropic Research).

The result does not constitute a proof of the Riemann hypothesis. It extends a lower bound, meaning the verified proportion of zeta zeros consistent with the hypothesis. Prior work had established 41.6% of zeros on the critical line; the new result moves that figure to 67.2%. The Clay Mathematics Institute's $1 million Millennium Prize requires a general proof covering all non-trivial zeros, which remains out of reach.

The architecture of the experiment deserves attention. A non-mathematician issued the prompt and stepped away. The model then decomposed the problem, allocated specialized roles across dozens of sub-agents, pursued hundreds of candidate approaches, and produced a result formalizable in Lean. The human-in-the-loop role was minimal by design, and the verification pathway ran through both human mathematicians and machine-checkable proof.

Whether this multi-agent coordination pattern generalizes beyond the specific structure of the Riemann hypothesis is an open question. The problem has properties that make it amenable to a divide-and-conquer approach: well-defined sub-problems, a formal verification standard in Lean, and a large existing mathematical literature to draw on. Problems with less crisp success criteria or weaker formalization infrastructure may not decompose as cleanly.

What is verifiable from the published materials is the scale of the computation and the rigor of the verification. Two mathematicians and a proof assistant confirmed the result. The technical paper details the linear algebra methods involved. The sub-agent telemetry reveals how the system allocated effort across exploration, validation, and writing. Anthropic has not yet announced a release timeline for the model itself, which remains unreleased as of the August 10 announcement.

The company's decision to publish both a research page and a technical paper, rather than issuing the result through a press release alone, gives outside mathematicians the material needed to evaluate the claim independently. The Lean formalization, in particular, allows third parties to machine-check the proof without relying on Anthropic's word. That choice matters: formal verification is the gold standard for mathematical correctness, and it removes a layer of trust that would otherwise be required.

In my view, the most notable detail is not the mathematical result itself but how it was produced. A person without advanced math training started the process, and the AI then organized its own work, divided tasks among dozens of copies of itself, and arrived at something real mathematicians could verify. That pattern is familiar to anyone who watched the shift from single computers to networked systems in the 1990s. The change was not just speed but coordination, the ability to break a big problem into parts and manage them together. Whether this approach works as well on problems less suited to clean decomposition is an honest open question. But the direction of travel is clear, and it is encouraging.