OpenAI Suddenly Releases Nearly 400 AI-Generated Math Results
Understand the story
According to The Verge on October 10, 2026, OpenAI this week released nearly 400 AI-generated mathematical results in one go, in the form of over 700 manuscripts, covering numerous fields including combinatorics, geometry, and number theory. About 42% (300 of 719 papers) have already been formally verified in the proof assistant Lean. Citing mathematicians, the report says the volume of results is so large it may take years to digest. No further details have been disclosed by other media or official OpenAI channels, and the story is still developing.
AI overview of reporting · Updated 9 days ago
Reporting timeline
Explore different aspects of the story through its reporting.
- The Verge · AISelected‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
This week OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts, spanning combinatorics, geometry, number theory, and many other fields; about 42% (300 of 719 papers) have been formalized in Lean.
Story heat trend
Current heat3·Comparable peak3（10/11 18:00）·Comparable change over 24 hours –
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.