> What you seem to suggest is that AI will be able to completely (or at least in a great part) replace mathematicians.

There is no bound on the amibitions of AI. AI is set to replace anything done by people, and there won't be any room left for people. There isn't any task done by humans that AI won't be better at.

This is not a tenable outcome.

We should never have built machines with agency, rather than optimization processes that operate as subroutines of humans.