Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
AI for Math Fund announcement
65 views
Skip to first unread message
Sarah Constantin
Dec 5, 2024, 2:24:18 PM12/5/24
to Metamath
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 proof assistants, verifiers, and other formal verification tools (including ones using Metamath) 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.
Reply all
Reply to author
Forward
0 new messages