OpenAI open-sources 722 math manuscripts from internal frontier model, including progress on Millennium problems

OpenAI has officially released a collection of new mathematical results produced by an undisclosed internal frontier model, open-sourcing the openai/math repository on GitHub with 722 mathematical manuscripts — the first time OpenAI has systematically published such material. The release provides a verifiable source for the many discussions and rumors around OpenAI's breakthroughs in mathematical reasoning and proof.

Confirmed

• The repository contains 722 manuscripts grouped into 372 related result families, accompanied by preprints, reasoningtraces, and Lean formalizations as supporting material.
• Per @kimmonismus: these results come from an evaluation on roughly 4000 research problems, and OpenAI says each result used about 3 hours of ChatGPT Pro thinking on average.
• Per @kimmonismus: OpenAI says the release decision was made after consulting the Institute for Advanced Study's "Independent Advisory Group on Mathematics and AI," following its recommendations and public advice.
• Per @arannayebi citing the repo README: OpenAI expanded the evaluation scope because existing math benchmarks are saturated.
• @applesjimmy noted the repository includes results at the "Quasi-Riemann Hypothesis" level; the 772 manuscript count mentioned in that post conflicts with the 722 figure in other posts — the official OpenAI post's 722 is authoritative.

Why it matters

• This is OpenAI's first systematic release of research-grade mathematical output from an internal model, directly addressing earlier rumors about its mathematical proof capabilities.
• The inclusion of reasoning traces and Lean formalizations lets outsiders independently verify the quality of the model's proofs rather than relying solely on official claims.
• The decision to publish publicly followed an independent advisory group's recommendations, and is seen as a template for how AI-generated frontier mathematics can be disclosed to the public.

2026-10-07 ~ 2026-10-07 · 39 related 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
• [source] 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
• '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'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

9 near-duplicate retellings: apples_jimmy · felpix_ · nabla_theta · rand_longevity · AlexTensor · Justin_Halford_ · ctjlewis · kristoph · ZeroStateReflex