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.