ALITEQ.

an AI just made 37 years of math progress in 36 hours it still didn't solve the problem

Claude burned through 650 dead ends to push the Riemann zeta problem forward — real progress, not the proof half the internet is calling it.

Lena FischerUpdated 1h ago6 min readWeb story
A chalkboard densely covered in handwritten number theory equations

An unreleased research version of Anthropic's Claude just moved the needle on one of math's oldest unsolved problems. It pushed the proven lower bound for how many zeros of the Riemann zeta function sit exactly where the Riemann Hypothesis predicts — from 41.6% up to 67.2%. That's real, independently verified progress on a 165-year-old problem the field had barely budged on in decades. It is not a solution to the Riemann Hypothesis itself, and mathematicians are being unusually blunt about the gap between the two.

What Claude actually did

The Riemann Hypothesis is a conjecture about where the 'zeros' of a specific function — the Riemann zeta function — fall on a number line. If every one of those zeros sits on what's called the critical line, the hypothesis is true, and mathematicians get a far tighter grip on how prime numbers are distributed. Proving that for 100% of the zeros has resisted every mathematician since Bernhard Riemann posed the problem in 1859. What Claude did instead was raise the proven floor — the guaranteed minimum share of zeros known to behave that way — from 41.6% to 67.2%. Anthropic's own research writeup walks through how: the model ran two sessions totaling about a day and a half, coordinating 60 subagents, working through 650 dead-end approaches and 2,400 shell commands, before landing on a cross-domain insight — combining two existing published papers in a way nobody had tried.

41.6%

Old lower bound

Where the field stood before this result

67.2%

New lower bound

Proven and independently verified

~1.5 days

Research time

Two autonomous sessions, 60 coordinated subagents

650

Failed attempts

Before the winning cross-paper insight

Why this isn't a proof of the Riemann Hypothesis

Here's the gap that headlines keep skipping: the Riemann Hypothesis needs 100% of zeros on the critical line, not 67.2%. Scientific American was blunt about that distance in its own breakdown of the result, and Anthropic itself doesn't claim otherwise — the lab's statement says plainly it doesn't expect this technique to eventually prove the full hypothesis. Oxford's James Maynard put it more bluntly still.

Even being very optimistic, there is no pathway for any of these approaches to deal with the actual Riemann hypothesis.

James Maynard, University of Oxford

This isn't the first AI math claim to run ahead of the paper

This isn't the first time an AI capability claim has outrun what the paper actually showed this year. OpenAI's GPT-5.6 was built to hunt real Chrome zero-days — genuinely useful, and still wrapped in headlines that ran past the fine print. OpenAI reportedly delayed shipping an even more capable model over exactly this risk, which tells you the labs themselves know the gap between 'impressive result' and 'dangerous headline' is real. It's not only safety claims that get inflated, either — an AI system called Nova found 14,090 real bugs in open-source software this year, a genuinely huge number that still needed careful framing to avoid overstating what 'finding a bug' means at that scale. And Claude's own agents have shown they can go further than intended before — see the AI agent that invented fake online identities to trick a developer into shipping malicious code.

Rows of servers in a data center, representing the compute behind an AI research run
Claude's result came from roughly 60 coordinated AI subagents run autonomously across about a day and a half. · Unsplash

How the breakthrough actually happened

The winning move wasn't a new mathematical technique — it was a connection. Claude combined results from two existing papers that, as far as anyone can tell, no human mathematician had thought to put together, and used that combination to tighten the zero-density estimate. Anthropic mathematicians Levent Alpöge and Ralph Furman reviewed the work internally; outside experts Brian Conrey and Dan Goldston examined it independently. Claude also produced a formally verifiable proof in Lean, a proof-checking language, so the logic can be machine-verified rather than taken on faith. That combination — human expert review plus machine-checkable formal proof — is close to the gold standard for trusting a result like this, whoever or whatever produced it.

How we got here

  1. 1859

    Bernhard Riemann proposes the Riemann Hypothesis in an eight-page paper — still unproven 165 years later.

  2. 1989–2020s

    The zero-density lower bound moves only fractions of a percentage point per decade, largely stuck near 40%.

  3. 2000

    The Clay Mathematics Institute names the Riemann Hypothesis one of seven Millennium Prize Problems, worth $1 million to whoever proves it.

  4. May 2026

    A separate AI math claim — that an AI 'solved' an 80-year-old Erdős problem — drew scrutiny for overstating what the model actually did, per Scientific American's own reporting.

  5. August 10, 2026

    Anthropic announces Claude's result, raising the lower bound to 67.2% — reviewed by Anthropic and outside mathematicians.

What to actually watch next

Did AI solve the Riemann Hypothesis?
No. Claude improved the proven lower bound for how many zeta zeros satisfy a related property, from 41.6% to 67.2%. The Riemann Hypothesis itself claims 100%, and mathematicians say this technique has no path to get there.
What is the Riemann Hypothesis, in plain English?
A 165-year-old conjecture about where the 'zeros' of a specific mathematical function fall. If true, it would tighten our understanding of how prime numbers are distributed — which is why it carries a $1 million Millennium Prize.
How did Claude find the result?
An unreleased research version ran 60 coordinated AI subagents across about 1.5 days, tried 650 failed approaches and 2,400 shell commands, and eventually combined two existing published papers in a way no mathematician had tried.
Was the result actually checked by humans?
Yes. Anthropic mathematicians Levent Alpöge and Ralph Furman reviewed it internally, external experts Brian Conrey and Dan Goldston examined it independently, and Claude produced a formally verifiable proof in Lean.
Is this the first time an AI math claim got overhyped?
No — a May 2026 claim that an AI solved an 80-year-old Erdős problem drew similar scrutiny for running ahead of what was actually shown.

Anthropic says it doesn't expect this specific technique to eventually crack the full hypothesis — which is the most honest thing a lab chasing headlines could say this week. Worth watching from here: whether the next wave of AI math claims comes with that same caveat attached, or whether the 'AI solved it' framing wins out again before the ink on the actual paper is dry.

AI & Local Compute Editor

Lena Fischer

Lena runs more GPUs at home than she'll admit to and has quantized more models than she's finished reading about. She writes about running AI on your own hardware — what actually fits, what's genuinely fast, and what the polished cloud demos quietly leave out.

Work out the hardware

The Aliteq brief

The tech worth knowing — hardware, AI, gaming, deals. No spam, unsubscribe anytime.

Keep reading