6 October 2026
20:00 CET
About the seminar
Artificial intelligence is beginning to heavily influence mathematical research. This seminar focuses on how AI may affect the formulation of conjectures, the search for examples and counterexamples, the development and verification of proofs and the selection of problems worth studying, particularly where this is not guided by explicit applications.
This joint online seminar brings together researchers to exchange experiences and discuss how AI may shape the future of mathematics. The scope is deliberately broad: talks may present concrete mathematical case studies, experiences with current AI systems and proof assistants, conceptual perspectives on mathematical discovery and proof, critical assessments of the possibilities and limitations of systems, as well as reflections on their impact on the mathematical community.
Each talk is followed by an extended discussion. The discussion is an integral part of the seminar and is intended to encourage an open exchange of ideas, experiences, questions, and differing perspectives across mathematical fields.
Programme
20 October 2026
20:00 CET
Title to be announced
Ken Ono · Axiom Math and University of Virginia
Talk · 60 min
Discussion · 30+ min
3 November 2026
20:00 CET
16 November 2026
20:00 CET
AI is a tool: A working mathematician's experience and perspective
Martin Raum · Chalmers University of Technology
Talk · 60 min
Discussion · 30+ min
Abstract
I trace how AI entered my research workflow and how I refined the tools surrounding it. I focus on two comparatively mature aspects: manuscript review and infrastructure. For review, AI has become a useful component of my toolchain, while mathematical judgment remains with me as the researcher.
I also describe a workflow for human-guided, AI-generated research, focusing on joint work with Olav Richter and Matt Ortiz. This project served as a case study. Rather than relying on costly, opaque, specialized models, we used standard subscription-based AI tools to develop a workflow that can be adapted to other research projects in mathematics. The case study invites reflection on the need to increase the level of acceptable good to mid-level research and on a potential future for top-level research in mathematics.
1 December 2026
20:00 CET
15 December 2026
20:00 CET
[Talk title]
[Speaker] · [Affiliation]
Talk · 60 min
Discussion · 30+ min
12 January 2027
20:00 CET
[Talk title]
[Speaker] · [Affiliation]
Talk · 60 min
Discussion · 30+ min
26 January 2027
20:00 CET
[Talk title]
[Speaker] · [Affiliation]
Talk · 60 min
Discussion · 30+ min
Useful links and resources
Math AI Resources
A curated collection of background reading, courses, seminars, and practical resources on the interaction between mathematics and AI.
Math and AI
Events and discussions about AI in mathematical research and education and its implications for the future of the profession.
AI4Math Workshop
A December 2026 workshop at MPI MiS bringing together researchers from academia and industry to explore the evolving interface between artificial intelligence and mathematics.
Proofs and Prompts
A blog featuring mathematicians' perspectives on how AI is changing mathematical research, teaching, and professional life.
MathArena
Continuously updated evaluations of AI systems on recent mathematical competitions, proof-based problems, and research-level tasks.
FrontierMath
Benchmarks ranging from advanced undergraduate mathematics to research-level and open mathematical problems.
Leiden Declaration on Artificial Intelligence and Mathematics
A declaration calling for the responsible and transparent use of AI in mathematics.
Association for Human Mathematics
An association advocating for mathematics as a human endeavour and for critical scrutiny of AI’s effects on research, publishing, education, and the mathematical community.
Organisation
Organised jointly by
Mathematics Münster
CRC 1442
TRR 326
TRR 358
Mathematics Münster
CRC 1442
TRR 326
TRR 358
How to Join
The seminar takes place online via Zoom. The Zoom links and announcements are sent out through our mailing list. Sign up here for the mailing list.