Overview
- The Simons Foundation announced the initiative on Thursday and will manage a $15 million pool funded by the foundation, OpenAI and Anthropic to support mathematics work that uses AI.
- OpenAI has committed $5 million and will also supply models and computing resources to researchers selected by the Simons Foundation.
- The money will pay for workshops, conferences, open calls for proposals and special programs that bring mathematicians together to check, reproduce and learn from AI-generated proofs.
- The move responds to widespread concern among mathematicians after recent large-scale AI releases that included claimed solutions to long-standing problems and raised questions about verification and the provenance of training data.
- The Simons Foundation built this program on its past support for tools such as the Lean proof assistant and expects the awards to help the community set shared standards for reviewing AI-assisted mathematics and train researchers to use these tools safely.