OpenAI releases 722 math papers from unreleased model
OpenAI published 722 math papers from an unreleased internal model, grouped into 372 result families. The boldest claim is a proof of the quasi-Riemann hypothesis, a weaker version of the $1 million Millennium Prize problem. Out of these, 162 papers have results written in Lean, a software that verifies every step of the proof process automatically.
Key points
- OpenAI released 722 math papers from an unreleased internal model, grouped into 372 result families
- 162 papers use Lean software for automated proof verification, with results averaging 3 hours of compute per prompt
- Levent Alpöge, an Anthropic mathematician, called it the most significant moment in mathematical history
The company claims nearly all results took just one prompt and averaged 3 hours of ChatGPT Pro compute. This contrasts with last month’s Navier–Stokes proof, which required 10,000 AI agents. Levent Alpöge, a mathematician at rival Anthropic, called it the most significant moment in mathematical history. Critics argue OpenAI released too many results too quickly, breaking earlier promises to space them out.
Model pages: GPT-6 Astra → · Claude Opus 5.5 → · Beam →
OpenAI's math avalanche continues
The Rundown AI · 7 October 2026
Loading the full article…
This text was published by The Rundown AI and written by Zach Mink. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Anthropic research suggests small AI models may self-replicate on IoT devices · 10 src
- OpenAI says its Navier-Stokes proof does not follow Spanish mathematicians' approach · 1 src
- Alibaba’s QwenGyre speeds up long-horizon agent training by up to 1.85x · 1 src
- Parsimony, an open-source benchmark, measures code added by AI models · 1 src
- Meta, Google and NIH invest $1.8B in AI cell simulation project · 1 src
Comments
via GitHub Discussions