>... essentially strip mining mathematical discoveries into PR wins for their models, accidentally laying waste to the research field in process.

Jeeze, that's an almost impressively charged way of saying "private company performing SOTA research on open problems that anyone has been welcomed to approach for over a century" lol

I think it does a disservice to the dialogue to strip away any nuance here and just paint these companies as evil for doing what everyone has been anticipating companies like them doing well before LLMs even existed. It's clearly just trying to fit these events into a specific narrative which does nothing to actually address the inevitability of everything that comes next. Feel free to pressure OpenAI and Anthropic to stop performing math research so that it can just be picked up by whoever catches up and doesn't care about bad PR. I'm sure Musk with Grok will be extra considerate of pure math researchers when he sees an opening to pick up those scraps lol