[HoTT] AI for Math Fund announcement

[HoTT] AI for Math Fund announcement

['Sarah Constantin' via Homotopy Type Theory]

[-- Attachment #1.1: Type: text/plain, Size: 1638 bytes --]

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:

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.

Best,
Sarah Constantin

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/75e8a19b-988e-4b64-b822-9d1c51b5d6a1n%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 2961 bytes --]