Details: Talk by Léo Dreyfus-Schmidt, Friday May 29, 2026, 11am in Amphithéâtre 15, Jussieu, Paris.
Abstract: 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.