What is happening in maths right now will happen to any hard industry with verifiable problems and high value rewards. Take microchip design, nuclear or 100s of other industrial processes that are valuable and point an 10,000 agent swarm towards the target. $25m inference to solve a Millennium problem will seem quaint once we see a chip company spending $1b or $10b to design their latest chip that will make them $100b - why not? This is all ROI at the end of the day. There will be companies that realise this and leverage super-intelligent models in their domains to do unbelievable things. If a problem is of the right shape and has value, there's no reason to stop at any amount of tokens as long as it is ROI positive. There will be probably many companies that will get swept away, as they will think that 'using AI' is fine-tuning a 70b model on their documentation; when their competitors will be spending $10b to build a god-version of whatever it is they are doing. To me, this is a plausible way how super-intelligence will come about. Models might still suck at being good writers or be culturally relevant, or even make that much of a dent on the jobs market, but they might utilise their spikiness multiplied by enormous investment in the ways that we cannot imagine.