AI enters the world of mathematics: Simons Foundation, OpenAI and Anthropic join hands for $15 million research initiative
Anthropic, OpenAI and other AI companies are privately war-gaming the political fallout of a catastrophic AI event, Axios reports.
The Simons Foundation has announced a $15 million funding and resource initiative in partnership with OpenAI and Anthropic to help mathematicians assess artificial intelligence-assisted research, develop shared standards for using AI, and understand the implications of the technology for mathematical discovery.The initiative will be managed by the Simons Foundation, which will award funding through an open call for proposals and other mechanisms. The grants will support workshops and collaborative programmes where researchers can examine AI-assisted results, learn to use emerging tools, and discuss how the technology should be evaluated and adopted in mathematics.The combined commitment includes funding as well as other resources.
The initiative is intended to give researchers a greater role in determining how AI tools are used in mathematical research, rather than leaving those decisions to technology companies or individual institutions.
Simons Foundation to invite proposals for AI and mathematics research
Under the initiative, the Simons Foundation will oversee the allocation of funds to support activities that bring together mathematicians and help them respond to the growing use of AI in research.The proposed activities will focus on evaluating recent AI-assisted results, sharing research experiences and developing common standards for the use of AI tools.
Workshops and other collaborative initiatives will provide a platform for researchers to examine the reliability and usefulness of AI-generated mathematical work.The foundation said the programme would be guided by the needs of the mathematics community and build on its longstanding support for the field.Simons Foundation President David Spergel said the rapid development of AI had made it important for mathematicians to work collectively on how the technology should shape their discipline.“As artificial intelligence rapidly reshapes the research landscape, we want to help the mathematical community come together and forge the best path forward,” Spergel said in a press release.He added that mathematics needed to be considered as a collective pursuit driven by human curiosity, rather than only as a collection of proofs and theorems.
OpenAI and Anthropic to provide AI tools and computing resources
Beyond the financial commitment, OpenAI and Anthropic will provide AI tools and computing resources to researchers supported by the Simons Foundation.
The assistance will extend beyond mathematics to include basic science.OpenAI has separately confirmed a contribution of $5 million to the foundation's initiative. The company said the funding would help mathematicians examine, understand and build on results produced with AI, including results recently published by OpenAI.The company's contribution will support workshops, conferences and special programmes.
OpenAI will also provide access to its models and computing resources to researchers receiving support through the foundation.The broader partnership combines financial assistance with access to technological resources, with the aim of enabling researchers to scrutinise AI-assisted findings and investigate their potential applications.
Lean proof assistant among foundation's earlier AI initiatives
The Simons Foundation said the new programme builds on its previous work supporting mathematics and machine learning for science.
Its earlier initiatives included funding the development of the Lean proof assistant, a tool that helps mathematicians formalise mathematical statements and verify proofs.Proof assistants can help researchers check whether mathematical arguments meet specified formal requirements. Their development has also contributed to work on AI-assisted proofs, where artificial intelligence can help generate or develop arguments that can subsequently be examined using formal verification tools.The foundation has also organised workshops, lectures and collaborations to bring mathematicians together to discuss AI's role in the discipline.These efforts have become increasingly relevant as AI systems demonstrate new capabilities in mathematical reasoning and problem-solving. However, evaluating the correctness of results, understanding how they were obtained and determining their value to mathematical research remain important considerations for researchers.
Mathematicians to lead discussions on AI standards
The foundation has emphasised that the initiative is intended to support the mathematics community in shaping its own approach to AI, including decisions about the evaluation, adoption and use of these tools.“This is a moment for the mathematics community to come together,” Spergel said in the press release, adding that researchers, rather than any single company or institution, should drive discussions on how AI tools are assessed and used.The initiative places particular emphasis on collective discussion and shared standards as AI becomes more closely integrated into scientific work. Its funding and resource support is expected to give researchers opportunities to investigate AI-assisted findings, exchange perspectives and establish practices suited to their discipline.The announcement comes as AI developers and scientific researchers explore how increasingly capable models can contribute to mathematical discovery. The programme's stated focus is on helping the research community assess these developments and determine how AI can be incorporated into mathematics while preserving the importance of verification, collaboration, and human understanding.