The vibe on here re: AIxMath is kind of apocalyptic, and what’s true is that highly capable AI models have significant impacts on (non-mathematical!) questions around hiring, journals, etc. But if you just log off in fact the day to day of doing math research is really not so different, except that you can talk to your computer about it and sometimes it’s helpful. What does this help look like? In practice high quality math research has never looked like “run a for loop through open conjectures and try to resolve them all,” and it still doesn’t. Most interesting work does not have the form of a problem set, but is rather an open-ended exploration of some phenomenon. There are lots of ways talking to one’s computer can help with this, but I don’t feel particularly worried that it will be automated. After all, it’s a process that is only done when I say it is! Anyway, it’s a great time to be a congenitally calm mathematician.