The joint online seminar brings together researchers to exchange experiences and discuss how AI may shape the future of mathematics. 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 programme includes several online talks throughout October 2026 to January 2027.

Further information and registration here.