the vast majority of people who pursued a maths degree, including myself here, didn't expect to compete with Terrence Tao or solve outstanding research problems.

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.