The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX Markets, is a grant opportunity committing $9.2 million to research, field-building and development of open-source tools and datasets in the intersection of AI and mathematics.  Projects related to AI automation for mathematical formal verification tools (including Mizar) are encouraged to apply.

Links:


Please submit a brief application via webform  by January 10, 2025. Successful applicants will be invited to submit full proposals.