The point is to make the field progress by discovering new things!
Who gets credit for what and how credibility is assigned is going to be muddy for a while but that’s the case whenever a bunch of new science happens in close sequence. History is full of math/science discoveries having debated and dubious provenance.
It has been proved a hundred years ago that some problems can not be proven. So there are problems AI will not solve.
It provides deep insights into logic, computation, provides tools for us to understand the universe, establishes mind blowing relationships between seemingly unrelated things.
For example “how much information can a black hole contain?”
To whom? If there are no humans in the field, there is no one to get the insight. Maybe you are right, and there is just a new type of a mathematician being born, but as an outsider I just can't see what they could look like, what will be left for humans to contribute
Most math is already being done by meagrely funded mathematicians. The entire US federal budget for mathematics is like $100M. One college football coach can already make 10 percent of that. No mathematician is making bank.
Is the implication of all this that mathematics research should get a cash injection to pay for high-powered computational tools?
Math will, sure. Mathematicians, doubtful. After all, most high end physics research with billions in funding is now done by postdocs making a lower middle class salary.
AI solves math problems to
> If there are no humans in the field
Realistically, math will be done by well funded teams of people instead of cult of personality mathematicians.
Also, insights from scientific discoveries are for everyone. You do not have to understand the complex multi dimensional algebraic geometry of general relativity to appreciate that gravity bends time as well as space. You don't need to understand fifty years of linear programming research to use a modern solver.