Skip to content
Neural Daily

ResearchNews

Simons Foundation puts $15M behind AI in mathematics

The Simons Foundation announced on October 15 that, together with OpenAI and Anthropic, it will provide $15 million in combined funding and resources for the mathematics community. The goal is to help researchers evaluate, understand and build on results produced by AI. The Foundation will manage and award the funding through open calls.

By: Mikola Máté Patrik · · 2 min read

Simons Foundation news page announcing the $15M AI mathematics initiative
Image: Simons Foundation · Screenshot · Screenshot of official page · Source

What the community gets

The Foundation will fund workshops, conferences and special programmes that help researchers use AI tools, check recent AI-assisted results and shape shared standards for AI use. OpenAI and Anthropic will also provide models and computing resources to Foundation-supported researchers, including in basic science beyond mathematics (Simons Foundation).

OpenAI separately confirmed its $5 million contribution and said supported researchers will get access to its models and compute. The same post points back to the mathematical results it released on October 6 (OpenAI).

Simons Foundation news page: Simons Foundation launches $15M effort to help mathematicians navigate AI era
Simons Foundation · Screenshot · Screenshot of official page · Source

Source: Simons Foundation. Announcement of the $15 million programme.

Why now

According to Euronews, the move follows a heated debate. In September OpenAI said an unreleased model had made a major advance on the Navier-Stokes equations, and on October 6 it published hundreds of mathematical manuscripts. The Association for Human Mathematics (AHM) said mathematicians did not ask for this work and accused OpenAI of disregarding the norms of scientific research. Two human mathematicians, including Levent Alpöge, said they were close to a similar result and questioned whether OpenAI had seen their work. OpenAI denies having seen it (Euronews).

David Spergel, president of the Foundation, said the community should drive discussions of how these tools are evaluated, adopted and used, not any single company or institution.

What it means in practice

The programme does not settle authorship or priority disputes. It does put dedicated money behind verifying AI-generated proofs and building shared rules. The Foundation was already an early backer of the Lean proof assistant, which made computer-checked proofs practical.

    Produced with the help of AI, reviewed by an editor. How we make our articles

    Reviewed and edited by the Neural Daily desk. About

    Related articles