On October 6, 2026, OpenAI released 722 mathematical research manuscripts and verification materials on GitHub, produced by an unreleased internal AI model. The release includes proofs connected to the Riemann Hypothesis and the irrationality exponent of pi, drawing varied reactions from mathematicians worldwide.
The global mathematics community faced an unexpected data drop when OpenAI published 722 manuscripts and supporting proof materials directly to a GitHub repository named math. Grouped into 372 distinct result categories, the collection contains research on the zeros connected to the Riemann Hypothesis and properties of pi. Rather than passing through standard academic peer review, the findings were pushed straight to the public domain, prompting swift responses from scholars and researchers around the globe.
Inside the OpenAI Math Repository and the 372 Result Groups
The newly available files consist of paper PDFs, result summaries, and verification materials designed to mechanically check specific proofs. The total count of 722 manuscripts does not represent 722 independently solved open problems. Instead, the 372 result groups bundle central conclusions together with supporting arguments and consequences.
OpenAI explained that traditional mathematical benchmarks had lost their effectiveness in distinguishing top-tier model performance, prompting the company to test its internal model against approximately 4,000 open research problems. Out of those attempts, results holding sufficient significance were shaped into manuscripts. Computing resources for most of these proofs required an average equivalent to about three hours of ChatGPT Pro reasoning power from the unreleased model.
Tackling the Quasi-Riemann Hypothesis and the Properties of Pi
Among the most discussed items in the repository is a September 30 manuscript titled The Quasi-Riemann Hypothesis.
The paper asserts that for Dirichlet L-functions, including the Riemann zeta function, no zeros exist in the half-plane where the real part of the complex variable exceeds 7/8. While the classic Riemann Hypothesis places all non-trivial zeros on the 1/2 line, establishing a zero-free region up to 7/8 and eliminating the Landau-Siegel zero represents a notable leap in analytic number theory.
Formal Verification via Lean and Community Guidelines
To help outsiders evaluate the claims, the release includes supporting overview documentation and Lean formal verification files. Mechanical verification checks whether a logical challenge and its solution correspond correctly within a proof assistant. However, independent experts note that passing a formal kernel does not automatically confirm whether the original problem was properly posed or whether the ideas can generalize to other mathematical domains.
OpenAI indicated it distributed its results via GitHub, though debate continues over how human researchers will digest and verify the heavy volume of machine-generated conclusions.
Mathematicians Respond to the GitHub Release
As independent mathematicians begin digging into the repository, the focus remains on whether human experts can verify the individual proofs and build upon them.