Simons Foundation, OpenAI and Anthropic Fund $15M Math-AI Effort

The Simons Foundation said on Oct. 15, 2026, that it is partnering with Anthropic and OpenAI on a $15 million initiative to help mathematicians cope with the fast rise of AI in their field. The Simons Foundation AI mathematics effort will fund workshops, conferences and programs that help researchers check AI-assisted results, learn new tools and set shared standards for how AI is used in math.

Image: Equations on a classroom blackboard. Photo: Yulia Meshkova, via Wikimedia Commons (CC BY 4.0).

What the $15 million covers

The foundation said the three partners will commit $15 million in combined funding and resources. The Simons Foundation will manage and award the money, including through an open call for proposals. Grants will support workshops and other initiatives that help researchers evaluate recent AI-assisted results, learn and use new tools, share perspectives and shape collective standards for AI use.

Anthropic and OpenAI will also provide AI tools and computing resources to researchers supported by the foundation, and that support will reach beyond mathematics into basic science, the announcement said.

OpenAI said it is contributing $5 million, and that it will give Simons-supported researchers access to its models and computing resources. Anthropic said on X that it had “committed $5 million of funding, compute, and Claude access to help the math community navigate the massive changes that AI brings,” according to a report by NDTV that quoted the post.

Why mathematicians need help now

The announcement comes as AI systems produce a growing number of mathematical results. On Oct. 6, OpenAI said it was releasing “a broad range of new mathematical results produced by an internal frontier model,” published in a GitHub repository with rules for revisions and citations. The company said it consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study in Princeton on how to release the work.

OpenAI also shared formal versions of many of the proofs in Lean, a programming language that lets a computer check a mathematical proof step by step. It published 10 summaries of the model’s reasoning and said the average result used compute equal to about three hours of ChatGPT Pro thinking. In its Oct. 15 update, the company said the new funding is meant to help mathematicians “examine, understand, and build on results produced by AI, including those shared in this post.”

That is a real workload for the field. Each AI-generated claim still has to be read, checked and placed in context by people, and journals, departments and funders are still working out who gets credit and how such results should be cited.

What the Simons Foundation said

“As artificial intelligence rapidly reshapes the research landscape, we want to help the mathematical community come together and forge the best path forward,” Simons Foundation President David Spergel said. “Now is the time to look at mathematics as a whole, not as a collection of proofs and theorems, but as a collective understanding driven by human curiosity.”

Spergel stressed that researchers, not companies, should steer the effort. “The community should be driving discussions of how these tools are evaluated, adopted and used, not any single company or institution,” he said. “The goal of the program is to support the mathematics community.”

The foundation pointed to its long record in the area. It was an early backer of machine learning for science and helped fund development of the Lean proof assistant, which it said has changed how mathematicians work and made AI-assisted proofs possible. It has also convened workshops, lectures and collaborations on AI’s role in mathematics.

The debate around AI in math

The news landed amid a lively online conversation among mathematicians and educators about what AI means for the discipline, from how to assign credit for machine-found proofs to whether students and researchers will still build deep understanding if tools generate results quickly. Supporters see faster discovery; skeptics worry about volume outpacing careful review. The Simons program is designed to fund exactly that kind of community discussion and checking.

The foundation said the awards and resources will be community-driven. Researchers interested in the open call should watch the Simons Foundation’s announcements for deadlines and eligibility.

The Boston Report has been tracking how AI is moving into science. See our coverage of CERN and Mistral AI’s Large Physics Model, the Mistral Large 4 open-weight model preview, and Google’s Gemini 4 Argon rollout.

Sources

• Simons Foundation: Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era
• OpenAI: Sharing AI progress in mathematics
• The Verge: OpenAI is giving $5 million to help mathematicians make sense of AI-generated research
• NDTV: Simons Foundation, Anthropic, OpenAI Commit Rs 142 Crore To Help Mathematicians Navigate AI