New: AI for Math Fund from Renaissance Philanthropy and XTX Markets!
I am thrilled to announce that Renaissance Philanthropy and XTX Markets are partnering to launch the AI for Math Fund, a $9M effort to develop AI tools that can serve as long-term building blocks to advance mathematics. A growing number of researchers are embracing AI to push the boundaries of mathematical discovery and learning. The AI for Math Fund will give mathematicians the tools they need to advance the field. This fund will support projects that apply AI and machine learning to mathematics, with a focus on automated theorem proving. Grants of up to $1M will be awarded for projects exploring Open Source Tools, Transformative Datasets, Breakthroughs, and Field Building. The submission window for short pre-proposals is open and closes Jan. 10. Learn more at https://lnkd.in/gHnZ6nXj.