AI for Math Fund announcement
48 views
Skip to first unread message
Sarah Constantin
Dec 5, 2024, 3:51:53 PM12/5/24
to Homotopy Type Theory
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 involving AI methods for proof assistants or other formal verification tools are encouraged to apply.
Our advisors include Terence Tao, Anima Anandkumar, Mike Frumkin, Sean Welleck, Albert Q. Jiang, Jia Deng, and Simon Frieder.
Links:
Please submit a brief application via webform by January 10, 2025. Successful applicants will be invited to submit full proposals.
Best,
Sarah Constantin
Reply all
Reply to author
Forward
0 new messages