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

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?