I apologise for not stating the obvious, but when most people are talking about AI (as was I) they’re referring to LLM’s and generative content that boomed around 2022-2023.

Your citations 2-4 are focused on AI pre-2023, using data over decades. We’ve been using machine learning for ages, those were fine, as are any AI models focused on one task. There might even be math oriented models, but as I understand, Anthropic and OpenAI have been trying to force these proofs via LLMs.

Your citation 1 talks about productivity going up, but at a cursory glance, it doesn’t seem to comment about OpenAI and others subsidizing a lot of the cost.

Ok? How will they dominate it? My point was that the math problems AI has been solving don’t really have much of a use that typically gets you money or other resources. I believe I mentioned that medicinal uses, as well as statistical, programming etc. are welcome, but these ain’t it.

A better comparison may be that this is rushing all resources to organize a mission to Mars. Very cool, very powerful, might get some tech developed in the process. But if a country the size of a continent enters an economic crisis, why tho?

Counterpoint: All that shit expensive as fuck. Why rush math proofs with AI rather than doing it 100x cheaper by paying a young mathematician over a few years? This isn’t paying AI 100 million dollars to cure cancer, that might actually be worth it.

Even if some problems can be solved cost-efficiently, most of the proofs so far is showing off, ignoring costs.

But WHOSE flesh becomes weak first?