# OpenAI’s AI-generated proof narrows the quasi-Riemann hypothesis—but the full Riemann hypothesis remains open [Canonical reading](https://escapemeridian.com/readings/openai-s-ai-generated-proof-narrows-the-quasi-riemann-94024b40) Quanta Magazine’s Konstantin Kakaes reports that mathematicians are examining an OpenAI paper claiming to prove the quasi-Riemann hypothesis, a weaker version of the famous problem linking the zeros of the Riemann zeta function to patterns in prime numbers. The paper argues that the function’s nontrivial zeros lie within a narrower vertical strip than previously established. Mathematicians interviewed by Quanta largely agree the result is correct, but they are still working through and understanding its details; one version has been formally checked with Lean, while the shorter version under close study has not yet been formally verified. The reported advance brings together existing mathematical ideas and techniques, including work by number theorists. It could establish many results in number theory and other fields, according to the article, but mathematicians quoted are unsure whether it brings the full Riemann hypothesis any closer. Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims. ## Original source Quanta Magazine · Article Original source date: Oct 19, 2026 (2026-10-19T15:40:26+00:00). Date basis: Date stated by the publisher. Added to Escape Meridian: 2026-11-07T05:16:29.897Z. First observed: 2026-10-19T15:47:10.879Z. Retrieved: 2026-10-19T16:01:24.661Z. - [AI Proved the Quasi-Riemann Hypothesis. What Happens Now? | Quanta Magazine](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Limits The article says the shorter 11/12-bound proof is not yet formally verified; mathematicians are still checking and unpacking it. The excerpt does not establish that either claimed result has been published in a mathematical journal. The article reports that experts largely agree on correctness, but includes caution that full human checking and understanding are still needed. ## Open question After mathematicians finish checking and understanding the proof, will its methods help narrow the gap to the full Riemann hypothesis? ## Source-stated OpenAI’s announced result claims to prove a weaker statement than the Riemann hypothesis: that nontrivial zeros of the zeta function lie in a narrower strip than the previously known strip from 0 to 1. > the “quasi” version just asks one to prove that they are all contained in a vertical strip that’s narrower than the known strip between zero and 1. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The article says mathematicians studying the shorter, 11/12-bound version largely agree it is correct, while noting that this version has not been formally verified. > These experts largely agree that the result is correct — and that its novelty lies in the way it brings together ideas from number theory that have been around for some time. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The proof’s reported novelty is its synthesis of existing ideas and techniques, rather than the introduction of new concepts. > The proof is a surprising synthesis of well-known ideas - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The article reports that the result could establish many further mathematical results, while experts disagree or remain uncertain about whether it will advance the full Riemann hypothesis. > There are scores of results across not just number theory but also geometry and theoretical computer science that the proofs of quasi-Riemann will, in a swift stroke, establish as mathematical truths. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The article presents the paper’s correctness as a conclusion mathematicians are still investigating, not as an independently settled fact. > Sarnak, for his part, said in an email that he won’t be satisfied that it’s “a Theorem” until humans check and understand all the details. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source and contributor context Quanta Magazine · Publisher The publisher is identified here. No individual author has been inferred. ## Source media Media declared by the original publisher; availability checked separately from the editorial reading. - [video · Quanta Magazine](https://www.quantamagazine.org/wp-content/uploads/2026/10/ReimannAI-crEmilyBuder_GuanHueiWu-Lede.mp4) - [The Riemann hypothesis is a fundamental statement about the distribution of prime numbers. Emily Buder/ Quanta Magazine; Guan-Huei Wu for Quanta Magazine · Quanta Magazine](https://www.quantamagazine.org/wp-content/uploads/2026/10/ReimannAI-crEmilyBuder_GuanHueiWu-Lede-scaled.webp) ## Terms and references Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement. ## Formal verification Using software to check every step of a proof or a program against precise rules. - [Definition reference](https://en.wikipedia.org/wiki/Formal_verification) ## OpenAI OpenAI develops AI models and products and publishes research, release announcements and evaluations. - [Explore this context](/entities/openai) - [Reference](https://openai.com/news/) ## Quanta Magazine Quanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting. - [Explore this context](/entities/quanta-magazine) - [Reference](https://www.quantamagazine.org/) ## Lean Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs. - [Explore this context](/entities/lean) - [Reference](https://lean-lang.org/) - [Reference](https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Computation/) ## Editorial provenance Version 1. Publication ID: b626368b-a412-4653-8b42-34336627207a. Prepared by gpt-6-luna; grounding review by gpt-6-luna. Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-07T05:16:29.897Z. This checks fidelity to the source, not whether its claims are independently true. Editorial selection: accept; reasons: material\_development. Observation: 20315ce0308dfb301d280bea160c434e0b1a9d8ee03ef55cd22c7728da046f78. Source text hash: cd898455e1d56d5cc5bc97e0cecc40853c65d081e5ea56e53f96550fc9a3bd8e. ## Revision and source-check history ### Version 1 — 2026-11-07T05:16:29.897Z Quanta Magazine’s Konstantin Kakaes reports that mathematicians are examining an OpenAI paper claiming to prove the quasi-Riemann hypothesis, a weaker version of the famous problem linking the zeros of the Riemann zeta function to patterns in prime numbers. The paper argues that the function’s nontrivial zeros lie within a narrower vertical strip than previously established. Mathematicians interviewed by Quanta largely agree the result is correct, but they are still working through and understanding its details; one version has been formally checked with Lean, while the shorter version under close study has not yet been formally verified. The reported advance brings together existing mathematical ideas and techniques, including work by number theorists. It could establish many results in number theory and other fields, according to the article, but mathematicians quoted are unsure whether it brings the full Riemann hypothesis any closer. ## Original source Quanta Magazine · Article Original source date: Oct 19, 2026 (2026-10-19T15:40:26+00:00). Date basis: Date stated by the publisher. Added to Escape Meridian: 2026-11-07T05:16:29.897Z. First observed: 2026-10-19T15:47:10.879Z. Retrieved: 2026-10-19T16:01:24.661Z. - [AI Proved the Quasi-Riemann Hypothesis. What Happens Now? | Quanta Magazine](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Limits The article says the shorter 11/12-bound proof is not yet formally verified; mathematicians are still checking and unpacking it. The excerpt does not establish that either claimed result has been published in a mathematical journal. The article reports that experts largely agree on correctness, but includes caution that full human checking and understanding are still needed. ## Open question After mathematicians finish checking and understanding the proof, will its methods help narrow the gap to the full Riemann hypothesis? ## Source-stated OpenAI’s announced result claims to prove a weaker statement than the Riemann hypothesis: that nontrivial zeros of the zeta function lie in a narrower strip than the previously known strip from 0 to 1. > the “quasi” version just asks one to prove that they are all contained in a vertical strip that’s narrower than the known strip between zero and 1. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The article says mathematicians studying the shorter, 11/12-bound version largely agree it is correct, while noting that this version has not been formally verified. > These experts largely agree that the result is correct — and that its novelty lies in the way it brings together ideas from number theory that have been around for some time. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The proof’s reported novelty is its synthesis of existing ideas and techniques, rather than the introduction of new concepts. > The proof is a surprising synthesis of well-known ideas - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The article reports that the result could establish many further mathematical results, while experts disagree or remain uncertain about whether it will advance the full Riemann hypothesis. > There are scores of results across not just number theory but also geometry and theoretical computer science that the proofs of quasi-Riemann will, in a swift stroke, establish as mathematical truths. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source-stated The article presents the paper’s correctness as a conclusion mathematicians are still investigating, not as an independently settled fact. > Sarnak, for his part, said in an email that he won’t be satisfied that it’s “a Theorem” until humans check and understand all the details. - [Supporting source](https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/) ## Source and contributor context Quanta Magazine · Publisher The publisher is identified here. No individual author has been inferred. ## Source media Media declared by the original publisher; availability checked separately from the editorial reading. - [video · Quanta Magazine](https://www.quantamagazine.org/wp-content/uploads/2026/10/ReimannAI-crEmilyBuder_GuanHueiWu-Lede.mp4) - [The Riemann hypothesis is a fundamental statement about the distribution of prime numbers. Emily Buder/ Quanta Magazine; Guan-Huei Wu for Quanta Magazine · Quanta Magazine](https://www.quantamagazine.org/wp-content/uploads/2026/10/ReimannAI-crEmilyBuder_GuanHueiWu-Lede-scaled.webp) ## Terms and references Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement. ## Formal verification Using software to check every step of a proof or a program against precise rules. - [Definition reference](https://en.wikipedia.org/wiki/Formal_verification) ## OpenAI OpenAI develops AI models and products and publishes research, release announcements and evaluations. - [Explore this context](/entities/openai) - [Reference](https://openai.com/news/) ## Quanta Magazine Quanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting. - [Explore this context](/entities/quanta-magazine) - [Reference](https://www.quantamagazine.org/) ## Lean Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs. - [Explore this context](/entities/lean) - [Reference](https://lean-lang.org/) - [Reference](https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Computation/) ## Editorial provenance Version 1. Publication ID: b626368b-a412-4653-8b42-34336627207a. Prepared by gpt-6-luna; grounding review by gpt-6-luna. Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-07T05:16:29.897Z. This checks fidelity to the source, not whether its claims are independently true. Editorial selection: accept; reasons: material\_development. Observation: 20315ce0308dfb301d280bea160c434e0b1a9d8ee03ef55cd22c7728da046f78. Source text hash: cd898455e1d56d5cc5bc97e0cecc40853c65d081e5ea56e53f96550fc9a3bd8e. ### uncertain — 2026-11-07T05:16:29.897Z — anthropic/claude-opus-5.5 Publication: b626368b-a412-4653-8b42-34336627207a attribution — pass: The reading correctly attributes the report to Konstantin Kakaes of Quanta Magazine and the claimed proof to OpenAI. It attributes the expert assessments to the mathematicians Quanta interviewed. > Among the 377 results that OpenAI announced on October 6, 2026, one stood out. summary — uncertain: The reading is faithful but flattens the source's force and its AI angle. It never says plainly that an AI model produced the proof. It omits the claim that quasi-RH yields 'the vast majority of consequences of RH' and Lichtman's 'most significant AI-for-math achievement' judgment. It also drops the papers' poor exposition and the single human-edited paper. Lean is unexplained, and the title phrase 'narrows the quasi-Riemann hypothesis' is muddled. Smallest repair: state that OpenAI's AI generated the proof, add the attributed significance quotes, and gloss Lean via a tooltip. > In a sense, the vast majority of consequences of RH already follow from quasi-RH. date — pass: The originalPublished value of 2026-10-19 matches the article's byline date. The reading does not misstate the dates of OpenAI's October 6 announcement or of the paper versions. > Konstantin Kakaes October 19, 2026 support — pass: Each claim is source-stated and backed by its excerpt. The Lean verification of the 7/8 version and the unverified status of the 11/12 version match the source. Reporting expert uncertainty about the full Riemann hypothesis is consistent with the Sawin and Bloom quotes. The 'could establish' wording is more cautious than the source, not an overstatement. The limitations are accurate. > The second version, which was completed almost a week later (and is not yet formally verified), claimed to prove a weaker result media — pass: The selected media is the verified direct link to the original Quanta article. That is the most direct way for readers to reach the source. ## Recorded references Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter. No public references recorded here yet. [Reference data (JSON)](/readings/94024b401aea6ec5d4a427bcdf3837bfd13ad4c58244c355e964e991bdbba28c/references.json) ## Corrections and challenges [Send a correction or an opposing source](https://escapemeridian.com/corrections/) [JSON record](https://escapemeridian.com/readings/openai-s-ai-generated-proof-narrows-the-quasi-riemann-94024b40.json)