AgentMath MATH+ EF-LiOpt-3 â–¶ ongoing

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.

Sep 2025 to Aug 2028Sep 25 to Aug 28
3
1

🧑‍🎓 IOL 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.

đź“ť Publications and preprints

Preprints

  1. Zimmer, M., Pelleriti, N., Roux, C., and Pokutta, S. (2026). The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning. [arXiv]
    [BibTeX]
    @misc{2026_MaxzimmerNicopelleritiChristopherouxSebastianpokutta_Airesearchframework_2603-15914,
  archiveprefix = {arXiv},
  eprint = {2603.15914},
  arxiv = {arXiv:2603.15914},
  primaryclass = {cs.LG},
  year = {2026},
  author = {Zimmer, Max and Pelleriti, Nico and Roux, Christophe and Pokutta, Sebastian},
  title = {The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning},
  date = {2026-03-16}
}