Email Gateway (Mar 24 2026 at 18:13): Email Gateway (Mar 24 2026 at 18:13):From: AI for Math <cl-isabelle-users@lists.cam.ac.uk>
Hi all,
The AI for Math fund
<https://www.renaissancephilanthropy.org/ai-for-math-fund>is excited to
announce a new funding round for 2026, with $10.5 million available to
support projects applying artificial intelligence and machine learning
methods to advance mathematical research.
We are seeking proposals across six themes:
-
Assistance – Tools that support mathematicians in formalization and
research
-
Automation – Systems that streamline key proving and workflow tasks
-
Datasets – Formalized mathematics and structured data for training and
evaluation
-
Infrastructure – Interfaces, benchmarks, and connective technical
components
-
Field-Building – Initiatives that grow the ecosystem and lower barriers
to entry
-
Foundational Research – Novel ideas that could unlock the next wave of
innovation
Individual grants will range from $100K to $1M and support 12-24 months of
work. We welcome proposals at a range of maturity levels, including
exploratory ideas, feature builds, and more developed infrastructure
projects.
Relevant Links:
-
AI for Math Fund announcement
<https://www.renaissancephilanthropy.org/news-and-insights/renaissance-philanthropy-and-xtx-markets-additional-13-million>
-
AI for Math Fund website
<https://renaissancephilanthropy.org/initiatives/ai-for-math-fund/>
-
RFP details
<https://drive.google.com/file/d/1XeksGkqIxeaLKf-Ojg73CxmfRUbedpjM/view?usp=drive_link>
Researchers can submit an abstract via this webform
<https://proposal-submission-form.web.app/> by March 30 to apply.
*We are also recruiting expert reviewers for this funding round *across
areas such as formalization tools, automation, datasets, infrastructure,
field-building, and foundational research. If you would be interested in
serving as a reviewer, you can express interest here
<https://drive.google.com/file/d/1zLquuNG7_kElqFmJVsrUUtq7A8w3iax7/view?usp=sharing>
.
Please feel free to share with colleagues who may be interested. If you
have any questions, please reach out to us at aiformath@renphil.org.
Best regards,
AI for Math Team
Last updated: Apr 12 2026 at 02:50 UTC