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
AI for Math Fund website
Bloomberg article
The first application step is a simple webform, due January 10, 2025. Successful applicants will be invited to submit full proposals.