Workshop: AI Transforms Math Research
| Event Details | |
|---|---|
| Date: | 25.08.2025, 08:30 o'clock until 29. August 2025, 12:00 o'clock |
| Location: | University of Augsburg, Building K, Universitätsstraße 20, 86159 Augsburg |
| Organizer(s): | Chair Analysis and Geometry, Kai Cieliebak and Milan Zerbin |
| Topics: | Mathematik |
| Event Type: | Workshop |
| Speaker(s): | Ingo Blechschmidt, François Charton, Maximilian Doré, Amaury Hayat, Yang-Hui He, Andras Juhasz, Wenda Li, Michael Rawson, David Alfaya Sánchez |
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 discussing future usage. Here the term "AI" is used vaguely to include all forms of mechanical reasoning, be it by proof assistants, classical machine learning or generative AI.
- Signup for Participants: via Web form on our website (see link below)
- Registration: 08:30 a.m. on the first day
- Start of talks: from 09:30 a.m. on all days
- Lunch: 12:00 - 2:00 p.m. each day
- Closing Discussion: Thu, 4:00 p.m.
- Friday: Individual Departure (no further talks)
More events: Institute of Mathematics
-
March 2026 / April 2026
-
30
-
31
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
-
April 2026
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
-
April 2026 / May 2026
-
27
-
28
-
29
-
30
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
-
May 2026
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
-
May 2026 / June 2026
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
-
June 2026
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
-
June 2026 / July 2026
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
01
-
02
-
03
-
04
-
05
-
-
July 2026
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
-
July 2026 / August 2026
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
01
-
02
-
-
August 2026
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
-
August 2026
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
-
August 2026 / September 2026
-
31
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
-
September 2026
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
-
September 2026 / October 2026
-
28
-
29
-
30
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
-
October 2026
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
-
October 2026 / November 2026
-
26
-
27
-
28
-
29
-
30
-
31
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
-
November 2026
-
09
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
-
November 2026 / December 2026
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
01
-
02
-
03
-
04
-
05
-
06
-
-
December 2026
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
-
December 2026 / January 2027
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
01
-
02
-
03
-
-
January 2027
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
-
January 2027
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
-
February 2027
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
-
February 2027
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
-
March 2027
-
01
-
02
-
03
-
04
-
05
-
06
-
07
-
08
-
09
-
10
-
11
-
12
-
13
-
14
-
-
March 2027
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-