This hands-on event offers a first look at the tools and questions shaping AI-assisted mathematical research. We provide an introduction to IMProofBench (https://improofbench.math.ethz.ch/), AI agents for mathematical research, and an open discussion on opportunities and challenges at the intersection of AI and mathematics at MiS.

Focus

• Introduce IMProofBench and equip participants with practical skills in prompting and benchmark design.
• Explore the use of AI agents as tools in mathematical research workflows.
• Discuss the current landscape of AI capabilities in mathematics and what it means for research practice in mathematics (and MPI MiS in particular).

Please fill out the registration form by April 14th to express your interest in participating.