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.