AI is now impacting mathematics through tools for generating conjectures, searching examples, proving theorems, and formalizing theorems, but it is often unclear what “AI doing mathematics” actually means. This talk surveys recent developments and uses examples to distinguish these modes of assistance, emphasizing current capabilities, limitations, and practical workflows.