{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-08-10-claude-riemann-zeta-zeros-two-thirds/","md":"https://postcutoff.com/e/2026-08-10-claude-riemann-zeta-zeros-two-thirds/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-08-10-claude-riemann-zeta-zeros-two-thirds","date":"2026-08-10","date_precision":"day","short_title":"Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%)","deck":null,"takeaway":"Anthropic reported that an unreleased research version of Claude, running in Claude Code with ~60 subagents, raised the unconditional lower bound on the proportion of Riemann zeta zeros that are simple and on the critical line from ~41.6% to 67.2%.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"Farzad Aryan: On the Imaginary Part of ζ′/ζ, with 'An Expository Note on Claude's Argument' (arXiv 2610.12853, 9 Oct 2026)","url":"https://arxiv.org/abs/2610.12853","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"Arias de Reyna: Human Exposition of Claude's 2/3 Theorem on the zeros of zeta (arXiv 2610.24612, 17 Oct 2026)","url":"https://arxiv.org/abs/2610.24612","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"anthropics/formal-math: zeta23 Lean formalization","url":"https://github.com/anthropics/formal-math","type":"code","group":"primary","domain":"github.com"},{"n":4,"title":"Anthropic: Claude and the zeros of the Riemann zeta function","url":"https://www.anthropic.com/research/riemann-zeta","type":"official","group":"primary","domain":"anthropic.com"},{"n":5,"title":"More than two thirds of the zeta zeros are simple and on the critical line (arXiv 2608.13637)","url":"https://arxiv.org/abs/2608.13637","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"Lamzouri: independent proof (arXiv 2609.02882)","url":"https://arxiv.org/abs/2609.02882","type":"paper","group":"primary","domain":"arxiv.org"},{"n":7,"title":"arXiv 2609.07918: Simple critical zeros and distinct zeros of the Riemann zeta-function in short intervals (Wang)","url":"https://arxiv.org/abs/2609.07918","type":"paper","group":"primary","domain":"arxiv.org"},{"n":8,"title":"arXiv 2609.33043: More than 83.69% of the zeros of the Riemann zeta function are distinct (Knausgård)","url":"https://arxiv.org/abs/2609.33043","type":"paper","group":"primary","domain":"arxiv.org"},{"n":9,"title":"arXiv 2610.08965: More than 83.9% of the zeros are distinct and more than 67.35% are simple and on the critical line (Knausgård)","url":"https://arxiv.org/abs/2610.08965","type":"paper","group":"primary","domain":"arxiv.org"},{"n":10,"title":"Tao's blog: Simple and critical zeros of the Riemann zeta-function (guest post by Turnage-Butterbaugh, 22 Oct)","url":"https://terrytao.wordpress.com/2026/10/22/simple-and-critical-zeros-of-the-riemann-zeta-function/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":9,"filed":"2026-09-29","updated":"2026-10-23","orgs":["Anthropic"],"title":"Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%)","summary":"Anthropic reported that an unreleased research version of Claude, running in Claude Code with ~60 subagents, raised the unconditional lower bound on the proportion of Riemann zeta zeros that are simple and on the critical line from ~41.6% to 67.2%. The previous 37 years had added only ~0.8 percentage points. Key results were formalised in Lean, reviewed by Brian Conrey and Dan Goldston, and independently re-proved by Youness Lamzouri.","key_facts":["Paper: 'More than two thirds of the zeta zeros are simple and on the critical line' (arXiv 2608.13637)","Prior record ~41.6% (Levinson–Conrey lineage); the last 37 years had gained ~0.8 points","Run by Jarred Sumner with mostly encouragement-style prompting; checked by Levent Alpöge and Ralph Furman","Lean formalisation of key results with Eric Easley; independent new proof by Lamzouri (arXiv 2609.02882)","Further follow-ups: Biao Wang extended the results to short intervals using Lamzouri's method, with ChatGPT-6 Astra implementing the proof ideas (arXiv 2609.07918, 7 Sep); Kristian Muri Knausgård raised the distinct-zeros proportion to more than 83.69%, calling the paper 'primarily an experiment in AI-assisted mathematical research' done with OpenAI Codex and Anthropic Claude, with a Lean formalisation (arXiv 2609.33043, 27 Sep)","6 Oct 2026: Knausgård again (arXiv 2610.08965): more than 83.9% of zeros distinct (liminf ≥ 1645064/1960733) and more than 67.35% simple and on the critical line (≥ 0.67353; 'earlier work proves 0.67250'), improving Claude's two-thirds bound. 'The arguments, the computations, the Lean formalisation, the figures and much of the text were developed with substantial assistance from AI systems (OpenAI Codex and Anthropic Claude) under the author's direction.' Proved in Lean 4 with 'three axioms beyond those of Mathlib, one per inequality. Each records that a search program returned true; Lean's kernel does not check the run itself'","17 Oct 2026: Juan Arias de Reyna (Seville) posted 'Human Exposition of Claude's 2/3 Theorem on the zeros of zeta' (arXiv 2610.24612), a self-contained re-proof of N0(T) ≥ 0.6725 N(T) for a future book: 'This proof is one of the first important results obtained by a machine: Claude the AI by Anthropic.' He calls the original arXiv paper 'like the notes of a poor student. Filled with bad notations, wrong assertions and unneeded statements', but the argument 'actually very simple and much easier to follow than the previous ones'; 0.6725 matches Montgomery–Taylor's constant 'and not by coincidence'","arXiv comment on Alpöge & Furman, arXiv 2608.13637: 'Proof discovered autonomously by Claude (Anthropic); verified and communicated by the listed authors. See §1 for provenance.'","Expert survey on Terence Tao's blog (22 Oct 2026, guest post by Caroline Turnage-Butterbaugh, a co-author of the BGST-B pair-correlation papers Claude built on): 'On August 10, 2026, Anthropic announced that an unreleased research model of Claude had connected the BGST-B approach above with a 2000 paper by Bombieri to unconditionally prove' the 67.25% bound, 'soon after verified by Alpöge and Furman'; she calls Lamzouri's re-proof 'conceptually simpler' and stresses that even 100% would not prove RH. Tao notes the post 'was initially written in a different file format and converted using AI'"],"key_numbers":[],"tags":["math","number-theory","riemann-hypothesis","claude","lean"],"science":{"field":"mathematics","subfield":"analytic number theory","problem":"Proportion of nontrivial zeros of ζ(s) on the critical line (toward the Riemann hypothesis)","result":"Unconditional proof that more than 67.2% of zeta zeros are simple and lie on the critical line.","open_since":"","ai_system":["Claude (unreleased research model) in Claude Code"],"human_role":"Near-autonomous: non-mathematician prompted; experts verified","verification":{"key":"lean","label":"Lean-verified","text":"Formal proof in Lean (key results); expert review (Conrey, Goldston); independent re-proof"},"status":"confirmed","shock":"A decades-slow line of research toward the Riemann hypothesis jumped by 25 percentage points in one AI run.","short":"Zeros of ζ(s) on the critical line"},"body_md":"## What happened\n\nA large Claude agent swarm refined the mollifier method behind Levinson- and Conrey-style bounds far beyond the prior state of the art. The result was then checked formally and by leading experts.\n\n## Why it matters\n\nIt does not prove the Riemann hypothesis, but it is a dramatic quantitative advance on the most famous problem in mathematics, and it was independently confirmed.","disputed":[],"related":[{"id":"2026-10-13-ai-assisted-results-october-2026","url":"https://postcutoff.com/e/2026-10-13-ai-assisted-results-october-2026/","date":"2026-10-13","date_precision":"day","short_title":"October 2026: the arXiv stream of conjectures settled with disclosed AI help continues","deck":null,"takeaway":"In the first nine days of October 2026 the stream did not slow down: each arXiv listing brought several named conjectures with a disclosed AI role, and two new patterns appeared.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":17,"official":17,"filed":"2026-10-13","updated":"2026-10-29","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":11,"official":5,"filed":"2026-09-30","updated":"2026-10-19","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-09-04-claude-formalizes-fermats-last-theorem","url":"https://postcutoff.com/e/2026-09-04-claude-formalizes-fermats-last-theorem/","date":"2026-09-04","date_precision":"day","short_title":"Claude produces the first complete machine-checked proof of Fermat's Last Theorem in Lean, in 11 days","deck":null,"takeaway":"Formalising FLT had been a flagship multi-year human project.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-11-09","orgs":["Anthropic"]},{"id":"2026-08-12-claude-hadamard-matrices-below-2000","url":"https://postcutoff.com/e/2026-08-12-claude-hadamard-matrices-below-2000/","date":"2026-08-12","date_precision":"day","short_title":"Claude-assisted constructions complete Hadamard matrices for every order below 2000","deck":"Including 668","takeaway":"It closed a famous \"smallest unknown case\" that had stood for two decades, with an easily verified result.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-10-21","orgs":["Anthropic"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"},{"id":"levent-alpoge","name":"Levent Alpöge","url":"https://postcutoff.com/person/levent-alpoge/"}],"posts":[],"videos":[{"id":"ellie-sleightholm-ai-took-on-riemann-hypothesis","title":"AI Took On the Riemann Hypothesis. Here’s What Actually Happened","url":"https://postcutoff.com/v/ellie-sleightholm-ai-took-on-riemann-hypothesis/"},{"id":"fireship-summer-math-fell-to-the-machines","title":"The summer Math fell to the machines...","url":"https://postcutoff.com/v/fireship-summer-math-fell-to-the-machines/"}],"models":[],"changes":[{"date":"2026-10-23","type":"edit","text":"Added Turnage-Butterbaugh's survey guest post on Tao's blog (22 Oct)"},{"date":"2026-10-20","type":"edit","text":"Added Arias de Reyna's independent expository re-proof (arXiv 2610.24612)"},{"date":"2026-10-19","type":"edit","text":"Added the AI-provenance statement verbatim from the arXiv record"},{"date":"2026-10-19","type":"edit","text":"Added video(s) fireship-summer-math-fell-to-the-machines"},{"date":"2026-10-13","type":"edit","text":"Related: added [October 2026: the arXiv stream of conjectures settled with disclosed AI help continues](https://postcutoff.com/e/2026-10-13-ai-assisted-results-october-2026/) (October catalogue, split out of the summer catalogue)"},{"date":"2026-10-13","type":"edit","text":"Added Knausgård's second paper (arXiv 2610.08965): 83.9% distinct, 67.35% simple and on the line, Lean 4 with three search axioms"},{"date":"2026-10-12","type":"edit","text":"Added Farzad Aryan's paper (arXiv 2610.12853), an expository account of Claude's argument by the author of the unconditional pair-correlation framework it built on; it says Claude \"replaced the termwise positivity argument by a global linear-algebraic analysis\""},{"date":"2026-10-07","type":"edit","text":"Science block: short label for the open-problems table"},{"date":"2026-09-30","type":"edit","text":"Added AI-assisted follow-ups (Wang 2609.07918; Knausgård 2609.33043, 83.69% distinct zeros)"},{"date":"2026-09-29","type":"edit","text":"Added link to Anthropic's formal-math repository (zeta23 Lean project)"},{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-10-23","human_review":null,"version":{"date":"2026-10-23"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":102,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":41,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":132,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":71,"in_training_data":false}],"short_url":"https://postcutoff.com/s/claude-proves-more-two-thirds"}