While AI companies have almost infinite money, they still don’t want to blow million dollar budgets on problems if there isn’t high likelihood that it will be successful.

But within next 10 years as costs drop significantly and even more improvements are made, yes it is very likely that almost every single existing math problem will get a serious AI cracking done on it

A "massive amount of AI-powered effort" costs a ton of money. What's the return on investment for these frontier labs? Do headline-grabbing successes in mathematics translate to expected *profitability* in disciplines with more immediately quantifiable economic value.