Riemann hypothesis

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2022 Feb 22 1:6
Editor
Edited
Edited
2026 Oct 31 15:3
Riemann hypothesis Notion
 
 
 

AI proof of the quasi-Riemann hypothesis

Quanta reported on October 19, 2026 that number theorists were unpacking OpenAI's proof of the quasi-Riemann hypothesis, a weaker statement than the full Riemann hypothesis. Experts described a surprising combination of established techniques with potentially broad consequences for prime-number estimates and related results. The full Riemann hypothesis remains open, and detailed human checking and understanding of the proof are still important.

The fact that Jarred Sumner, the human, gave almost no mathematical hints and mainly offered encouragement like “Keep going” and “You can do it”

Modern AI systems may decide on their own that a difficult problem is “impossible” and give up the search too early; encouragement or strong instructions may help increase the search budget and broaden the search space. However, it is still unclear why this actually works. This is an example of how human meta-level steering, telling the model “don’t give up; keep searching”, can significantly improve performance.
An unpublished Claude research model did not solve the Riemann hypothesis itself, but it significantly improved the lower bound for the proportion of Riemann zeta function zeros that can be proven to lie on the critical line, from 41.6% to 67.2%.
Building on results from Baluyot, Goldston, and others, and combining them with Bombieri’s existing techniques, Claude developed a quadratic-form/rank inequality that treats zeros on and off the critical line together as positive and negative definite subspaces. In Claude Code, it generated ideas, ran numerical checks, and conducted cross-review using 31M output tokens, about 60 subagents, 2,400 shell commands, and hundreds of Python scripts. Afterward, Claude searched 54 papers to check whether the result was already known and also produced an independent reproving. Anthropic mathematicians and external experts reviewed the work, and a formal Lean proof was also released.
 
 

Recommendations