Agentic AI in Mathematics
This project aims to develop agentic AI systems for mathematical research: autonomous discovery of patterns and conjectures, design and execution of computational experiments, and integration with formal verification tools.
🧑‍🎓 IOL Project Members
🪙 Funding
This project is being funded by the Berlin Mathematics Research Center MATH+ (project ID EF-LiOpt-3), itself funded by the German Research Foundation (DFG) under Germany's Excellence Strategy (EXC-2046/1, project ID 390685689) from September 2025 to August 2028.
🔬 Project Description
Recent AI breakthroughs—discovering knot invariant relationships, generating Hirsch conjecture counterexamples, finding new plane colorings—demonstrate the AI4Math paradigm’s potential.
This project pursues three directions: (1) multi-agent systems for pattern recognition and conjecture generation in discrete mathematics, (2) frameworks that design computational experiments with adaptive parameter tuning, and (3) integration with LEAN for automated proof formalization. A human-in-the-loop approach combines AI’s systematic exploration with mathematical intuition.