AI4Math Workshop
General Information
This workshop brings together leading researchers working at the evolving frontier between artificial intelligence and mathematics. Building on the field’s recent momentum, the workshop promotes collaboration, experimentation with state-of-the-art models, and rigorous discussion of emerging results and challenges. Core themes include automated reasoning and experimentation, formalization, mathematical structure discovery, and broader structural developments shaping the discipline. The programme will combine talks, discussions, and hands-on tutorials, with an emphasis on interaction and collaboration.
Talks and tutorials by
- Matthew Ballard (University of South Carolina / ICARM)
- Gergely Berczi (Aarhus University)
- Alexander Chervov (Institut Curie)
- Bin Dong (Peking University / BICMR)
- Tim Gehrunger (ETH Zürich)
- Bogdan Georgiev (Google DeepMind)
- Baran Hashemi (MPI for Mathematics in the Sciences)
- Tamás Hausel (Institute of Science and Technology Austria)
- Yang-hui He (University of London)
- Thomas Kahle (Otto von Guericke University Magdeburg)
- Kyu-Hwan Lee (University of Connecticut)
- Arend Mellendijk (University of Bonn)
- David Muñoz (Universidad Autónoma de Madrid / ICMAT)
- Jonas Nehme (University of Bonn / MPI for Mathematics)
- Yidi Qi (Harvard University)
- Tancredi Schettini Gherardini (University of Bonn)
- Diaaeldin Taha (MPI for Mathematics in the Sciences)
Registration:
Due to the interactive format, capacity is strictly limited. If you would like to participate, please send your CV and a short statement of interest (around 300 words) to ai4math2026@mis.mpg.de before October 23, 2026.