> provides deep insights

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

> Realistically, math will be done by well funded teams of people instead of cult of personality mathematicians.

Most math is already being done by poorly funded mathematicians. The entire US federal budget for mathematics is like $100M. One college football coach can already make 10 percent of that. No math prof is making bank.

Is the implication of all this that mathematics research should get a cash injection to pay for high-powered computational tools?

There is a huge jump from

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.