Séminaire Automath

Recent AI systems are increasingly entering the working environment of mathematicians, offering new ways to explore ideas, search the literature, and formalize arguments. In this talk, we will present a selection of such tools, focusing on their practical use in everyday mathematical work.