I think they'll end up more like scientists. Landau famously advised his students to be proficient in math so that when they're working on a problem it's the s

I think they'll end up more like scientists. Landau famously advised his students to be proficient in math so that when they're working on a problem it's the scientific understanding that's the rate limiting step, not the math. Now mathematicians will be freed of some of the burden of proving things and their challenge will instead be to find interesting new things worth proving.