AI for Math grants

AI for Math grants is sponsored by Renaissance Philanthropy and XTX Markets. These grants support mathematicians and researchers at universities and organizations working to develop artificial intelligence systems that help advance mathematical discovery and research across several key tasks.

Specific projects mentioned include boosting automated theorem proving by building connections between the L-Functions and Modular Forms Database (LMFDB) and the Lean4 mathematics library (mathlib). The goal is to make formal verification frameworks more accessible to working mathematicians.

AI for Math Fund — Renaissance Philanthropy – A brighter future for all through science, technology, and innovation The AI for Math Fund seeks to advance the pace and impact of math discovery by supporting projects that are important for the field. XTX Markets is the founding donor of the AI for Math Fund. Explore the Fund’s first 29 grant awards.

The AI for Math Fund supports projects and initiatives that apply AI and machine learning to mathematics. Our primary offering is subgranting. Through open funding calls, we uncover new ideas to address key AI For Math needs including promising technical research, new paradigms and concepts for machine learning research in mathematics, and critical tools to empower mathematicians.

AI for Math Fund: 2026 Grant Details The next round of the AI For Math Fund was announced in March 2026. Grants may range between $100K and $1M and are intended to support 12-24 months of work. Proposals are encouraged across a range of budgets, maturity stages, and types (e.g., exploratory / proof-of-concept ideas, feature builds, upgrades).

Open to individuals and teams worldwide. For specific eligibility criteria, application instructions, and review timelines, read our AI For Math Fund Request for Proposals Document . Abstract : Submit an abstract here by March 30, 2026 at 11:59 pm PT .

Proposal : Those who are invited to submit a full proposal will be notified by early May 2026. All code, datasets, and research outputs must be open-access, with preprints shared in public repositories. AI for Math Summer Fellowships We are excited to launch AI For Math summer fellowships!

Through this program, we will select and place highly talented undergraduate, master’s, and/or PhD students within 2025 AI For Math Fund winner teams for a period of 10 weeks (June - August 2026). The program will operate via a placement-based model, where fellows are embedded directly within selected AI For Math project teams.

Duration : 10 weeks (mid-June to August 2026) Supervision : Each fellow will have a clearly designated mentor within the project team In addition to project work, fellows may participate in: A program kick-off/orientation End-of-summer presentations showcasing their work Fellows will receive a $20,000 - $30,000 USD stipend for the 10-week period (commensurate with qualifications, geography, and work scope).

April 10 : Application window closes April 30 : Final notifications to applicants June 15 : Fellowship kickoff Submit an application here by April 10, 2026 at 11:59 pm PT . Seed grants will support early-stage initiatives and emerging opportunities at the intersection of AI and mathematics. See details here .

Applicants may submit applications for seed grants up to $100,000 for the following categories: Early-stage research or prototypes exploring new approaches to automated theorem proving, AI-assisted proof development, or mathematical reasoning. Datasets and benchmarks for training or evaluating AI systems on mathematical tasks.

Tools or infrastructure experiments , such as integrations with proof assistants or early versions of AI-assisted mathematical tooling. Field-building resources and events , including conferences, workshops, tutorials, or educational materials that expand participation in AI for Math. Submit an application here .

Applications will be reviewed on a rolling basis. For any questions about the AI for Math Fund, please contact [email protected] .