---------- Forwarded message --------- 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 (including HOL) 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. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhjk00R%2BoywLPM3k-TWHQuFVxGjrFQcK8ZZ9pgo%2BVHq%3DA%40mail.gmail.com.
