I would suggest that hardly anyone in the public is asking you to increase efficiency. That is the argument you read on pro-AI VC forums and Reddit.
In other words, it is a made-up argument. I think some mathematicians are either addicted (Feynman disease) or hope to make a breakthrough and somehow get credit. So they use "the public" to justify their habit.
The real public that is not on these forums wants academic freedom and independence from corporations. Both will suffer if you are entering soulless production pipelines.
The “real public” wants math to advance so that we can reap the benefits. We don’t care what tools you are or are not using, grant money will go to whichever group is making more progress.
Eh, mathematicians themselves have started embracing it. Terence Tao talks about how LLMs will be on the frontlines, proving new results and humans will just be there to digest and explain them (if the LLMs don't end up being able to do that as well). It's valuable work but not what I really signed up for.