Claude's Riemann Hypothesis breakthrough

Human mathematicians spent 46 years, from 1974 to 2020, inching the proven lower bound up by only about 8 percentage points^[3]. Claude closed more than triple that gap in one run, pushing the figure from 41.6% to 67.2%, a 25.6 percentage point jump^[1]. The move that got it there was conceptual, not computational: rather than analyzing zeros on the critical line and zeros off it as separate problems, Claude worked in a single space built from a Weil-induced quadratic form, with positive-definite subspaces standing in for on-line zeros and negative-definite subspaces for off-line zeros^[1]. Anthropic's own writeup credits the decisive step to a specific act of nerve: 'The courage to treat the entire space, with positive- and negative-definiteness taken into account together, and with the quadratic form allowed to be non-diagonal, is in some sense the step that allows Claude to achieve the conclusion based on the important prior work'^[1]. In other words, the ingredients (a 2000 paper by Enrico Bombieri and the pair-correlation lineage that followed it) already existed; what was missing was the willingness to combine them in a non-diagonal, unified form.

The path to the result was not a single elegant insight arriving on the first pass. Claude's first attempt generated and tried 650 distinct ideas, none of which worked^[1]. Only after being prompted to try again did it organize roughly 60 subagents, coordinating 2,400 shell commands and hundreds of Python scripts across about a day and a half^[5], ultimately consuming 31 million output tokens across the two sessions^[1]. The prompt that started the whole chain came not from a mathematician but from an Anthropic staffer who simply asked Claude to 'take a real stab' at the hypothesis, leaving every mathematical choice from there to the model^[4]. That origin story, an offhand request followed by open-ended encouragement rather than technical direction, became its own talking point once the result circulated: commentary across social platforms treated the loose, non-technical prompting style with a mix of genuine astonishment at the outcome and pointed skepticism about how unscientific the process sounded relative to the result it produced.

The headline number invites a reading it doesn't support. As one outlet put it directly: 'It is not 67.25% of the way to proving the Riemann hypothesis. It does not locate the remaining 32.75% off the line'^[2]. Anthropic's own note goes further, stating there is 'no prospect that the technique used here will lead to a proof of the Riemann Hypothesis'^[3]. What Claude actually established is a natural-density lower bound: a guarantee about the proportion of zeros that sit on the critical line, not a method for ruling out the ones that might not. That distinction mattered enough to become the dominant thread of technical discussion once mathematically literate audiences engaged with the result, with a recurring point being that even a bound approaching 100% would not amount to a proof, since a vanishingly small but nonzero set of exceptions could still exist outside any density argument. The framing tension, an unprecedented AI-assisted advance on one hand and a bounded, well-understood type of result on the other, is the story's real fault line.

The result's credibility rests heavily on Lean, the formal proof assistant Claude's output was translated into with help from Anthropic researcher Eric Easley^[6]. But formal verification answers a narrower question than 'is this correct and important': it confirms logical consistency without validating mathematical naturalness or real-world applicability^[3]. Outside review, meanwhile, came from two invited number theorists who gave favorable but informal assessments on short notice, and as of publication the work has not gone through journal submission or completed peer review^[3]. That gap between machine-verified logic and human-vetted significance shaped the skeptical side of the reaction: some readers flagged the writeup as having the hallmarks of a fabricated or overstated result, a suspicion others countered by pointing to the Lean and Mathlib formalization as direct evidence against fabrication. Both reactions can be true at once, the logic checks out, and the question of how much it matters is still an open, human judgment call.