Workshop: AI Transforms Math Research
Why now?
Everyone speculates about Artificial Intelligence. Some imagine futures where human intelligence becomes entirely obsolete, while others believe that deep reasoning is generally unachievable by machines. Wherever the truth may lie, the working mathematician of the future is likely to use tools of artificial intelligence in their day-to-day business. The emergence of Large Language Models, followed by the huge public interest in their capabilities, renders it only more urgent that mathematicians all around the world get together to exchange knowledge on the potential of AI in research and discuss the disruptions to come.
Topic
The workshop will center around the topic Artificial Intelligence in Mathematics Resarch and aims to
- Highlight examples of current or past usage of AI in Math Research, as well as
- Provide a forum for mathematicians to discuss future such usage.
Here the broad term AI is purposefully used vaguely to include all forms of mechanical reasoning, be it by proof assistants, classical machine learning, or generative AI.
Overview
Date
25.th - 29.th of August
2025
Location
Universität Augsburg
Building K
Augsburg, Germany
Speakers
Ingo Blechschmidt
Francois Charton
Swarat Chaudhuri
Maximilian Doré
Amaury Hayat
Yang-Hui He
Wenda Li
Sebastian Ulrich
Sara Veneziale
Join
Signup for Participants
To attend the workshop, please fill out the form below to sign up. You will receive an email confirming your enrollment.
Schedule
Monday
08:30 --- Registration
09:00 --- Talk 1 : ...
10:00 --- Coffee Break
10:30 --- Talk 2: ....
12:00 --- Lunch
14:00 --- Talk 3: ....
15:00 --- Coffee Break
15:30 --- Talk 4: ...
17:00 --- Welcome Reception
Tuesday
09:00 --- Talk 5 : ...
10:00 --- Coffee Break
10:30 --- Talk 6: ....
12:00 --- Lunch
14:00 --- Talk 7: ....
15:00 --- Coffee Break
15:30 --- Talk 8: ...
Wednesday
09:00 --- Talk 9 : ...
10:00 --- Coffee Break
10:30 --- Talk 10: ....
12:00 --- Lunch
14:00 --- Talk 11: ...
15:00 --- Coffee Break
15:30 --- City Visit
18:00 --- Panel Discussion: ...
20:30 --- Conference Dinner
Thursday
09:00 --- Talk 12 : ...
10:00 --- Coffee Break
10:30 --- Talk 13: ....
12:00 --- Lunch
14:00 --- Talk 14: ....
15:00 --- Coffee Break
15:30 --- Talk 15: ...
Friday
09:00 --- Talk 16 : ...
10:00 --- Coffee Break
10:30 --- Talk 17: ....
12:00 --- Lunch