just now
A new $9.2 million fund to develop artificial intelligence tools for mathematical research has been launched by Renaissance Philanthropy and algorithmic trading firm XTX Markets.
The AI for Math Fund will support projects developing AI tools to assist mathematicians in making breakthrough discoveries, with individual grants of up to £790,000 ($1 million) available for projects lasting up to 24 months.
Alex Gerko, Founder and co-CEO of XTX Markets, said: “The fund will support this critical intersection between AI and math. Working in partnership with Renaissance Philanthropy, we want to give mathematicians the tools they need to advance the field. As AI continues to transform other sciences, we believe that mathematics will be next.”
Renaissance Philanthropy and XTX Markets are inviting proposals for innovative projects led by researchers, non-profits, companies, mathematicians, software engineers and computer scientists that are unlikely to occur under business-as-usual conditions. Click here to submit an application.
Proposals should be aligned with one of the following categories:
🔹 Production grade software tools: AI for auto-formalization, proof generation, synthesis of verifiable code, and more
🔹 Datasets: Open-source collections of theorems, proofs, and math problems
🔹 Field building: Textbooks, courses, and resources to grow the AI-for-math community
🔹 Breakthrough ideas: High-risk, high-reward approaches to AI-driven math research
"We are excited to partner with XTX Markets on this important initiative," said Tom Kalil, CEO of Renaissance Philanthropy. "The convergence of AI and math has the potential to advance fundamental mathematics, the reasoning capability of AI systems, and the synthesis of verifiable code."
Fields Medal winner Terence Tao, who serves as an advisor to the fund, said: "The next generation of AI models and tools have the potential to enhance collaboration among mathematicians that was previously impossible. I am delighted to work with Renaissance Philanthropy and XTX Markets to realize this potential through the AI for Math Fund."
XTX Markets, which trades over $250 billion daily across 35 countries, has committed more than £250 million to charitable causes since 2017, with a particular focus on mathematics education and research. The firm operates a research cluster of over 25,000 GPUs and is building a new data centre in Finland.
