Learning mathematics is about understanding the world, not proving things.
We studied maths because it is interesting, because it teaches you how to think, you often pair it up with something that's more employable like economics or software development, or you go for a teaching career. Unless you're one of the few people who are heavily invested in cutting edge research I don't even see how new research tools change the profession.
An undergraduate maths education isn't going to change because you have people with computers churn out 400 page proofs. It's like being worried about 30 move Stockfish opening theory if you're a club level chess player.
In a future where learning math has about the same economic value as learning to play chess or the flute, you can see why many mathematicians aren’t very excited about their chosen career paths.
But it's a construction based on very basic properties of the real world, at least on those properties we accept and perceive as very general and we use them as building blocks.
I don't necessarily think that that is true, as almost every social science has been turned into maths one way or another, beginning with Economics. Heck, even mundane stuff like sports (think football/soccer) has now been absorbed by data, which you can see as applied maths.
Yes, I do know that advanced maths doesn't currently explain Arteta's system at Arsenal but we're generally talking about that same semantic area of interest, i.e. if the interest on maths were to subside as a result of AI taking that interest away from us then we will have no more data/stats-focused Artetas in the future (and possible no AI-like thingie also).
I’m saying that this wouldn’t have happened had our society not become “mathematics-ised” at some point (I’m talking about said society’s technical and scientific elites, of course). I’m also saying that outsourcing our “mathematics-mind” to AI (which seems the current process we’re now part of) will not allow for similar “mathematics-ing” to take place into the future. I’ll come with an even stronger claim and say that we risk losing the “mathematics-ing” we now associate with most of our sciences.