OpenAI Open-Sources 722 AI-Generated Math Manuscripts

On October 7, OpenAI officially released a batch of new mathematical research results produced by its internal frontier model, publishing an official blog post titled "Sharing AI progress in mathematics" and open-sourcing the openai/math repository on GitHub, which collects model-generated mathematical manuscripts and proof-assistance materials (including preprints, reasoning traces, and Lean formalized proofs). Posts differ on the manuscript count: most cite 722 manuscripts, while others say 772 — in particular, posts m17 and m4 both mention 772 papers across 372 result families, so the official repository should be treated as authoritative. This release is a landmark event for AI systems systematically producing mathematical research, and deserves close attention from researchers in mathematics and reasoning.

Confirmed

• OpenAI officially announced the release of new math results from its internal frontier model and open-sourced the openai/math repository; the blog post is titled "Sharing AI progress in mathematics"
• Before releasing, OpenAI consulted the "Independent Advisory Group on Mathematics and AI" at the Institute for Advanced Study (IAS) in Princeton, and decided on the release approach based on the group's public recommendations
• The results are organized into roughly 372 result families, each averaging only about 3 hours of compute (per @rohanpaulai, the model first worked through about 4,000 research problems before grouping and filtering them)
• Highlight results include: partial progress on Millennium Problems such as the Riemann Hypothesis, the Hodge Conjecture, and the BSD Conjecture; a proof of a 7/8 quasi-Riemann hypothesis; a matrix multiplication exponent lower bound reduced to n^2.25; the preprint "Integer multiplication below n log n" (Singularitarian's repost dates it September 23, 2026, which may be a transcription error); and number theory results involving a uniform zero-free strip and ruling out Siegel zeros

Not Yet Confirmed

• The total manuscript count is reported variously as 722 and 772; the openai/math repository should be considered authoritative
• @markjeffrey's claim that "AI has solved 90 of 500 open math problems" is a third-party tally, not an official OpenAI figure
• The correctness and verifiability of each proof have yet to be formally reviewed by the mathematical community; all assessments in posts are preliminary

Why It Matters

• This is the first time a frontier lab has publicly released large-scale, systematically produced original mathematical research by a model, and by choosing a verifiable release approach per the IAS advisory group's advice, it answers calls to "stop posting blogs and deliver verifiable proofs"
• Harvard number theorist Alpoge called the quasi-Riemann hypothesis results and the exclusion of Siegel zeros "the most remarkable moment in the history of mathematics"; mathematician Alex Kontorovich said that if a human had produced these results, they would deserve a Fields Medal; cremieuxrecueil called the 7/8 quasi-Riemann hypothesis proof one of the most important advances in analytic number theory in decades; mathematician AcerFur said witnessing the model make progress on a problem he had followed for a decade was a career highlight
• OpenAI Chief Data Officer Kevin Weil praised the release and said the next goal is to bring models to the same level in the physical sciences; Mistral researcher Théophane Sottiaux called it "an extraordinary new era of scientific progress"

2026-10-07 ~ 2026-10-07 · 73 related posts

Full story(2 episodes)→

• Episode 1: OpenAI Open-Sources 722 AI-Generated Math Manuscripts(2026-10-07, 73 posts)
• Episode 2: Report: Unreleased OpenAI Model Proves Quasi-Riemann Hypothesis(2026-10-07, 2 posts)

• [source] OpenAI releases 722 AI-generated math manuscripts with partial Lean proofs — OpenAI · 2026-10-07
• OpenAI Releases Mathematical Proofs, Adding Substance to Math Breakthrough Buzz — imjustnewatai · 2026-10-07
• OpenAI's openai/math repo: 722 model-generated math manuscripts, some unformalized — aran_nayebi · 2026-10-07
• OpenAI releases new math results from an internal frontier model — kimmonismus · 2026-10-07
• OpenAI publishes 722 math manuscripts by unreleased internal frontier model — kimmonismus · 2026-10-07
• Mistral Researcher Hails OpenAI Models Solving Important Math Problems — charliermarsh · 2026-10-07
• [source] OpenAI details AI math progress, publishes manuscripts and proof artifacts publicly — AMBNNJ · 2026-10-07
• OpenAI releases 722 math papers from an internal frontier model, including a claimed quasi-Riemann proof — imjustnewatai · 2026-10-07
• Mathematician celebrates AI model cracking a problem he chased for a decade — ctjlewis · 2026-10-07
• OpenAI's frontier model claims progress on Riemann, Hodge, BSD and a faster FFT — apples_jimmy · 2026-10-07
• OpenAI releases broad new mathematical results from internal frontier model, advised by IAS group — IgorCarron · 2026-10-07
• OpenAI releases novel math results from unreleased frontier model, ~3h Pro compute per problem — gaganghotra_ · 2026-10-07
• OpenAI appears to have dropped nearly 1,000 math preprints at once — airkatakana · 2026-10-07
• OpenAI researcher on internal model solving long-revered problems: 'a Copernican shift' — weijie444 · 2026-10-07
• After Navier-Stokes, OpenAI's internal math model now claims pieces of two more Millennium Problems — physiopeng · 2026-10-07
• Dev asks GPT 6 Pro to rank 3 years of discoveries: 81% were AI-made, released today — willdepue · 2026-10-07
• AI accounts for 87% of top math discoveries in 3 years, humans just 13% — willdepue · 2026-10-07
• 'If you're a mathematician, a nuke just hit ground zero': reactions to OpenAI's math release — inductionheads · 2026-10-07
• OpenAI releases hundreds of advanced math proofs from internal model on GitHub — Pascallisch · 2026-10-07
• OpenAI's Frontier Model Drops Matrix Multiplication Exponent to 2.25, Shattering 2.37 Record — inductionheads · 2026-10-07
• Mathematician's student fumes after OpenAI releases results scooping his conjecture work — littmath · 2026-10-07
• OpenAI math drop stuns researchers: 7/8 quasi-Riemann proof hailed — Singularitarian · 2026-10-07
• OpenAI Publishes Preprint Claiming Integer Multiplication Faster Than n log n — Singularitarian · 2026-10-07
• OpenAI releases new math results from an internal frontier model, some already solved by outside agents — repligate · 2026-10-07
• Only 372 hits out of 4,000 problems: analysts probe failure rates in OpenAI's math output — basedjensen · 2026-10-07
• OpenAI Releases Frontier Model's New Math Results, Claiming 90 of Top 500 Open Problems Solved — inductionheads · 2026-10-07
• OpenAI uploads hundreds of model-solved open math problems with Lean proofs to GitHub — AI寒武纪 · 2026-10-07
• OpenAI's Lean Formalization Proves Weaker Bound for Mutually Unbiased Bases in Dimension Six — MarioKrenn6240 · 2026-10-07
• 'STOC, FOCS, SODA in One Shot': Scholar Sizes Up OpenAI's Batch of Mathematical Results — giannis_daras · 2026-10-07
• OpenAI's Frontier Model Produces 'Quasi-Riemann' Result; Mathematician Says It'd Win a Fields Medal — soumitrashukla9 · 2026-10-07
• OpenAI's math repo claims frontier-model proofs of quasi-Riemann, Hilbert's tenth over Q, and more — repligate · 2026-10-07
• OpenAI's math drop: BSD proven in many cases, L-functions zero-free for Re(s)>7/8 — snikolov · 2026-10-07
• OpenAI CDO Kevin Weil hails math repo release, points to physical sciences next — kevinweil · 2026-10-07
• OpenAI shares progress on AI in mathematics in new report — JoshuaZ1 · 2026-10-07
• OpenAI releases new math results from internal frontier model, each costing ~3 hours of Pro compute — scottleibrand · 2026-10-07
• Harvard Mathematician Hails OpenAI Proofs as Most Significant Moment in Math History — Singularitarian · 2026-10-07
• OpenAI releases 700+ AI-generated math results vetted by IAS advisors — khademinori · 2026-10-07
• OpenAI drop stuns math world: 722 manuscripts claim Hilbert's 10th, Unique Games and more — BLUECOW009 · 2026-10-07
• Math community reacts poorly as OpenAI floods the field with results — altryne · 2026-10-07

11 near-duplicate retellings: apples_jimmy · felpix_ · nabla_theta · rand_longevity · willdepue · AlexTensor · Justin_Halford_ · ctjlewis · kristoph · ZeroStateReflex · danielrock