> 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.