I think for mathematicians and everyone else too the introduction and overwhelming presence of AI in everything is becoming unavoidable. While the gut reaction is to either refuse to use it or give up because it can do things better, it's really a matter of rethinking how to approach tasks and work. When the ratchet wrench and power tools came on board, technically they replaced their predecessors. It didn't mean the old tools were bad suddenly, they just were not as a efficient in time to task. That said, power tools are great for something and not others. So it's matter of rethinking how to best use the new tool to get more done.

I'm not a fan of AI, but I'm not a luddite either. I will use it to reduce time spent on tasks if I can confirm its results are consistent with the work I would otherwise do manually. In my field this readily doable. That means I'm not working until midnight on drills anymore, and during the day I can refocus on other tasks because I've saved time with it. I'm not trying to beat the AI, I'm using it to make my life easier to get more done. If you measure me by the singular task, then it just seems faster. However, if you measure me in total productivity for the day and life balance, the rethinking my business process is a win. Mathematicians will likely need to do the same, stepping away from the singular challenge and instead now trying to take on mathematical ecosystems instead via AI.