Artificial intelligence is currently undergoing a rapid transformation, and mathematics is becoming one of its most interesting application domains. Modern systems are beginning to assist in conjecture formation, explore open problems, and interact with formal proof systems such as Lean.
In the summer semester 2026, we run a research seminar / journal club on recent developments at the interface of artificial intelligence and mathematical research. The goal is to stay up to date with this rapidly evolving field by jointly reading and discussing current papers, with a focus on autonomous reasoning systems, machine learning for mathematical discovery, and formal verification.
Responsible: Christoph Stephan
Audience: MSc Mathematics, PhD students, Postdocs