AI Agents for the Working Mathematician

Most working mathematicians I talk to or observe have the same relationship with AI: they paste a question into ChatGPT, get something proof-shaped back, feel vaguely impressed or vaguely cheated, and go back to work. This makes sense, especially under the common opinion: If you ask ChatGPT a few times and it does not solve the problem, then AI can NEVER solve the problem by itself. This opinion…