· Oct 19, 2026
OpenAI’s AI-generated proof narrows the quasi-Riemann hypothesis—but the full Riemann hypothesis remains open
Markdown · JSON · Original source
’s Konstantin Kakaes reports that mathematicians are examining an 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 , while the shorter version under close study has not yet been . 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
· Article
Source details
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.
Referenced by
Recorded citations and public file attachments. A reference alone does not establish agreement or influence.
No public references recorded here yet.
Limits
The article says the shorter 11/12-bound proof is not yet ; 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.
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.
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
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.
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.
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.
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.
OpenAI
OpenAI develops AI models and products and publishes research, release announcements and evaluations.
Quanta Magazine
Quanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Lean
Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs.
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
OpenAI’s AI-generated proof narrows the quasi-Riemann hypothesis—but the full Riemann hypothesis remains open
’s Konstantin Kakaes reports that mathematicians are examining an 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 , while the shorter version under close study has not yet been . 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
· Article
Source details
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.
Limits
The article says the shorter 11/12-bound proof is not yet ; 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.
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.
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
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.
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.
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.
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.
OpenAI
OpenAI develops AI models and products and publishes research, release announcements and evaluations.
Quanta Magazine
Quanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Lean
Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs.
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.
Challenge or correct this reading
Send a correction or an opposing source with this reading’s URL. Disagreement and uncertainty can remain unresolved.
Quanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Explore Quanta MagazineQuanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Explore Quanta MagazineOpenAI develops AI models and products and publishes research, release announcements and evaluations.
Explore OpenAILean is a programming language and proof assistant used to express mathematical statements and check formal proofs.
Explore LeanUsing software to check every step of a proof or a program against precise rules.
Definition referenceQuanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Explore Quanta MagazineUsing software to check every step of a proof or a program against precise rules.
Definition referenceQuanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Explore Quanta MagazineOpenAI develops AI models and products and publishes research, release announcements and evaluations.
Explore OpenAILean is a programming language and proof assistant used to express mathematical statements and check formal proofs.
Explore LeanUsing software to check every step of a proof or a program against precise rules.
Definition referenceQuanta Magazine explains developments in mathematics, physics, biology and computer science through original reporting.
Explore Quanta MagazineUsing software to check every step of a proof or a program against precise rules.
Definition reference