Renaissance Philanthropy and XTX Markets Announce Additional $13.5 million to Accelerate Breakthrough Research in Mathematics
Expands on its initial $18 million commitment to advance the field of AI for mathematics, bringing the AI for Math Fund total to $31.5 million.
NEW YORK/LONDON, March 5, 2025 – Renaissance Philanthropy and XTX Markets today announced the next phase of the AI For Math Fund, committing an additional $13.5 million. $10.5 million will be allocated to a new grant application round opening in March, with $3 million for micro-grants and other field-building opportunities. This builds on the fund’s initial $18 million commitment, bringing its total to $31.5 million - one of the largest philanthropic commitments ever dedicated to accelerating the development of AI and machine learning tools to advance mathematics.
“We are delighted to increase our commitment to the AI for Math Fund. The fund is already catalyzing frontier research and applications. We are excited to see this expand and to support the growing field of AI for Math.”
The fund’s first round, launched in 2025, supported 29 winning projects across leading universities and research institutions around the world. This has included ambitious projects such as formalizing research-level mathematical publications, exploring computational properties that underpin proofs and proof representation (e.g., complexity theory, topological properties), and building critical infrastructure connecting a variety of tools in the AI For Math space (e.g.,Lean and Macaulay 2,Lean and LMFDB). A full list of the 2025 winners can be found here.
Grant Details
The new $13.5 million grant continues the fund’s focus on supporting a cohort of projects advancing automation, datasets, infrastructure, field-building, and high-risk, high-reward ideas at the frontier of AI and mathematical discovery. Grants will range between $100,000 and $1 million to support 12-24 months of work. We welcome proposals across a range of budgets, maturity stages, and types (e.g., exploratory or proof-of-concept ideas, feature builds, upgrades).
Application Details
The AI for Math Fund is now open for applications, closing on March 30, 2026 at 11:59 pm PT. Apply here.
Full details on the application instructions, review timelines, and eligibility criteria can be found here. Applicants may apply as individuals or teams.
“Many winners from the first AI For Math Fund are setting the standard for how AI will transform mathematical research. Our partnership with XTX Markets in AI for Math is also inspiring other fields such as computer science, physics and quantum science to invest more in formalization, building on the success of Lean and Mathlib.”
The AI For Math Fund aligns closely with related projects such as the Mathlib Initiative and the Lean FRO's new literate programming interface, to which XTX Markets founder Alex Gerko donated $10 million in 2025. The Mathlib Initiative, housed at Renaissance Philanthropy, focuses on professionalizing and scaling the world's largest library of computer-verified mathematics. It addresses the Lean community's volunteer-driven scaling limitations by hiring professional reviewers and building infrastructure to streamline the review process. Meanwhile, Lean's new AI-powered interface aims to combine the symbolic rigor of Lean with the versatility of natural language, lowering the barrier to entry for mathematicians and accelerating formalization and AI-powered mathematical research.
About the AI for Math Fund
The AI for Math Fund seeks to advance the pace and impact of math discovery by supporting projects that are important for the field, yet unlikely to be undertaken by any single academic or industry lab. The fund will support projects that
are less likely to happen in a business-as-usual scenario; and
have the potential to advance the field as a whole.
These include: developing open-source, production-quality tools; increasing the size, diversity, and quality of datasets required for training AI models; and increasing the ease-of-use of tools so that they are adopted by mathematicians.
About XTX Markets
XTX Markets is a leading algorithmic trading firm that uses state-of-the-art machine learning technology to produce price forecasts for over 50,000 financial instruments across equities, fixed income, currencies, commodities, and crypto. It uses those forecasts to trade on exchanges and alternative trading venues, and to offer differentiated liquidity directly to clients worldwide. The firm trades over $250bn a day across 35 countries and has over 250 employees based in London, Singapore, New York, Paris, Bristol, Mumbai and Yerevan.
XTX Markets has an unrivalled level of computational resources in the trading industry, with a growing research cluster currently containing over 25,000 GPUs with 650 petabytes of usable storage. Teams across the firm include world-class researchers with backgrounds in pure math, programming, physics, computer science and machine learning. The firm is also constructing a large-scale data center in Finland to future-proof its significant computational capabilities.
Since 2020, XTX Markets has committed over £350 million to charities and non-profit partners, establishing the firm as a major philanthropic donor in the UK and globally. The firm’s philanthropy focuses on advancing mathematics education and research, having committed over £90 million in grants to UK charities and education institutions, with the aim of supporting more students to progress to degrees, PhDs and highly-skilled careers in math especially those from low-income backgrounds.
About Renaissance Philanthropy
Renaissance Philanthropy is a nonprofit organization fueling a 21st-century renaissance by increasing the ambition of philanthropists, scientists, and innovators. In the first year, Renaissance Philanthropy catalyzed more than $214 million in philanthropic funding for science, technology, and innovation, launching 10+ initiatives across AI, education, climate, health, and scientific infrastructure. The organization designs time-bound, thesis-driven funds led by field experts and inspires talent to take action through playbooks and communities. From accelerating mathematical discovery to expanding talent mobility, Renaissance Philanthropy is building the connective tissue between exceptional ideas and resources to create breakthroughs that transform entire fields.