OpenAI Publishes 722 Manuscripts Containing Solutions to Open Mathematics Problems
OpenAI published 722 manuscripts featuring solutions to longstanding open mathematics problems using an unreleased frontier model, complete with Lean proofs and GitHub release protocols.
companyOpenAI
The tape
1 quote
“OpenAI Drops Another Batch of Mathematical Breakthroughs.”
Andrey Kerenkov
Heard on Last Week in AI — “#260 - Muse, Misalignment, Math”, published Monday, October 19, 2026. Heardvine summarizes and quotes with attribution and timestamps, and links to the original everywhere.