# AI for Math Fund

**URL:** <https://discourse.rocq-prover.org/t/ai-for-math-fund/2483>\
**Category:** Announcements\
**Created:** [December 5, 2024, 6:49pm UTC](https://discourse.rocq-prover.org/t/ai-for-math-fund/2483 "2024-12-05T18:49:02Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![sarahconstantin](https://avatars.discourse-cdn.com/v4/letter/s/dec6dc/32.png) [@sarahconstantin](https://discourse.rocq-prover.org/u/sarahconstantin)\
**Post date:** [December 5, 2024, 6:49pm UTC](https://discourse.rocq-prover.org/t/ai-for-math-fund/2483/1 "2024-12-05T18:49:02Z")

</div>

The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX Markets, will commit $9.2 million for the development of AI tools for advancing mathematics. Grant applications are open now.

Applications for projects on the intersection of AI and proof assistants (including Coq) are especially welcome.

Links:  
[AI for Math Fund announcement](https://renaissancephilanthropy.org/news-and-insights/renaissance-philanthropy-and-xtx-markets-launch-new-9-million-ai-for-math-fund/)  
[AI for Math Fund website](https://renaissancephilanthropy.org/initiatives/ai-for-math-fund/)  
[Bloomberg article](https://www.bnnbloomberg.ca/business/technology/2024/12/05/billionaire-gerkos-xtx-gives-millions-to-make-ai-better-at-math/)

The first application step is a simple [webform](https://airtable.com/appSh677zJHNiCdW7/pagSeCrgvihcU6dha/form), due **January 10, 2025.** Successful applicants will be invited to submit full proposals.