Math is like love - a simple idea but it can get complicated.
R. DrabekDocument Actions
Prof. Dr. Andrej Bauer - Project funding from "The AI for Math Fund"
The project is funded by the non-profit corporation Renaissance Philanthropy from the USA.
The AI for Math Fund is a grant program supporting projects that apply AI and machine learning to mathematics. It seeks to advance the pace and impact of math discovery by supporting projects that are important for the field. XTX Markets is the founding donor of the AI for Math Fund.
You can read more about the program here.
Prof. Dr. Andrej Bauer from the Department of Theoretical Computer Science at IMFM applied for the call and was successful with his project proposal.
Project title: Bridging AI, Proof Assistants, and Mathematical Data (BRIDGE)
Project duration: 01.07.2025 - 30.09.2027
Project description: Project will create and curate large-scale mathematical datasets and dependency graphs extracted from libraries of formalized mathematics. These structured resources will power AI-based tools for the formalization and exploration of mathematical structures and proofs, including a recommendation system and tools for user-guided mathematical discovery.