Agent AI in Mathematics ongoing

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.

MATH+ EF-LiOpt-3
Sep 2025 to Aug 2028
3

🧑‍🎓 Project Members

Sebastian Pokutta
Principal Investigator
pokutta (at) zib.de
Max Zimmer
zimmer (at) zib.de
Nico Pelleriti
pelleriti (at) zib.de

🪙 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.