Sarah Constantin (Dec 05 2024 at 19:10): Sarah Constantin (Dec 05 2024 at 19:10):The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX Markets, is a grant opportunity currently accepting applications for breakthrough research, open-source tools and datasets, and field-building initiatives in the intersection of AI and mathematics.
Projects related to AI methods for proof assistants (including Isabelle) are especially welcome.
Links:
AI for Math Fund announcement
AI for Math Fund website
Bloomberg article
You can submit an application via webform, by January 10, 2025. Successful applicants will be invited to submit full proposals.
Last updated: Dec 22 2024 at 08:21 UTC