AI and the Future of Mathematics

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.