OpenAI Publishes 722 AI-Generated Math Manuscripts, Sparking Academic Reaction
Understand the story
On the evening of October 6, 2026, OpenAI announced via official channels its internal frontier model's results on open math problems, and published the Lean proof formalizations and research details on GitHub. The next day, The Verge reported that the released math manuscripts totaled 722 papers covering 372 result families, which, according to AGMAI, include solutions to 'hundreds' of open problems, produced by an unreleased frontier model. The manuscripts were posted in a GitHub repository with paper revision and citation protocols, along with model reasoning summaries and compute estimates; OpenAI said each result on average equaled three hours of ChatGPT Pro thinking time. Later the same day, The Decoder reported that OpenAI had published on GitHub 372 new math results generated by the internal frontier model, spanning important algorithmic improvements and progress related to the Riemann Hypothesis, with each result claimed to solve an open problem or make substantial progress. On October 10, The Decoder reported that the math blog Proofs and Prompts had collected responses from more than 100 researchers to the manuscripts, with the academic community showing a mix of shock and disappointment. The results are now publicly available on GitHub for external scrutiny and citation.
AI overview of reporting · Updated 8 days ago
Reporting timeline
Explore different aspects of the story through its reporting.
- The DecoderSelected"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field
On October 6, 2026, OpenAI released more than 700 manuscripts on GitHub at once, claiming to solve hundreds of unsolved math problems. The math blog Proofs and Prompts then gathered responses from more than 100 researchers.
- The DecoderSelectedOpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI published 372 new mathematical results generated by its internal frontier model on GitHub, covering significant algorithmic improvements and progress related to the Riemann hypothesis, with each result claimed to solve an open problem or make substantial progress.
- The Verge · AISelectedOpenAI drops another batch of mathematical breakthroughs
OpenAI has released 722 mathematical manuscripts covering 372 families of results, which AGMAI says include solutions to "hundreds" of open problems, produced by an unreleased frontier model. The manuscripts were published in a GitHub repository with paper revision and citation protocols, along with model reasoning summaries and compute estimates; OpenAI says each result corresponds on average to three hours of ChatGPT Pro thinking time.
- OpenAI NewsSelectedSharing AI progress in mathematics
OpenAI released new results on its internal frontier model solving open mathematical problems, and published Lean proof formalizations and research details on GitHub.
Story heat trend
Current heat3·Comparable peak6（10/11 18:00）·Comparable change over 24 hours -50%
The trend compares the same continuously observed sources, which may cover fewer sources than the current heat score. Hover or select the chart to inspect each hour; use the left and right arrow keys to navigate.