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: AI for Math Fund announcement <https://renaissancephilanthropy.org/news-and-insights/renaissance-philanthropy-and-xtx-markets-launch-new-9-million-ai-for-math-fund/> AI for Math Fund website <https://renaissancephilanthropy.org/initiatives/ai-for-math-fund/> Bloomberg article on AI for Math Fund <https://www.bnnbloomberg.ca/business/technology/2024/12/05/billionaire-gerkos-xtx-gives-millions-to-make-ai-better-at-math/> Terence Tao's blog post on AI for Math Fund <https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/> Please submit a brief application via webform <https://airtable.com/appSh677zJHNiCdW7/pagSeCrgvihcU6dha/form> by *January 10, 2025.* Successful applicants will be invited to submit full proposals. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/4a3f96d8-199e-44f9-83cc-80daa672cf8an%40googlegroups.com.
