I think it's more like how anyone learning to play chess is going to use chess engines, but you can't learn to play by always asking the chess engine for the an

I think it's more like how anyone learning to play chess is going to use chess engines, but you can't learn to play by always asking the chess engine for the answer. I expect that all mathematicians are going to be working with power tools, so they might as well learn about that. They will still need to do math exercises by hand to learn the material.