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.

Please don't check this box if you are a human.

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

Further Information tba.

Search