OpenAI gives $5 million to Simons Foundation to help mathematicians vet AI results
The donation feeds a $15 million effort to help the math community study, verify and build on proofs produced by artificial intelligence
OpenAI is giving $5 million to the Simons Foundation. The goal is to help mathematicians make sense of results that AI systems are now producing.
Where the money goes
OpenAI announced the contribution on October 6, 2026. An update with more details followed on October 15.
The donation is one piece of a larger pot. The full initiative totals $15 million, co-funded by OpenAI, Anthropic and the Simons Foundation itself.
The Simons Foundation will manage the funds. It plans to spend them on workshops, conferences and special programs that bring mathematicians and AI-generated work into the same room.
Researchers will also get access to AI tools and computing resources.
AI, tech, and the markets they move—in one daily briefing.
Daily. Free. Join 34,000+ readers across crypto, finance, and policy.
The stated aim is to help the mathematical community understand, verify and extend what AI models are turning up. The initiative also focuses on making sure mathematical standards and responsible practices keep pace with the technology.
Why mathematicians suddenly need backup
In early October 2026, OpenAI released hundreds of AI-generated proofs and solutions to long-standing problems, including work on the Millennium Prize Problems.
In September 2026, OpenAI’s model reportedly solved the Navier-Stokes Millennium Prize problem using approximately 10,000 AI agents, at a high computational cost.
Navier-Stokes concerns the equations that describe how fluids move. The open question is whether those equations always behave sensibly, or whether they can break down under certain conditions.
A foundation built for this kind of work
The Simons Foundation has been funding research in mathematics and the basic sciences since its founding in 1994, backed by assets of more than $4 billion.