> I think the model helps mathematicians more than it hurts them

I would agree with you if these models were available to mathematicians, and OpenAI wasn't effectively competing with them by spending millions of dollars in compute to rush out solutions.

  if these models were available to mathematicians

Why do I get this feeling that people who complain about these models not being accessible are the same ones who are anti-data center build out, thinks AI is in a bubble, and thinks AI labs are evil.

In other words, they want cheap, available access to highly intelligent models, but they believe everything about AI industry is wrong.