It really pains me to read the responses here to this and the AHM statements. It feels like HN people here are talking with such... privilege. These are the smartest people on the planet saying "hey, please don't do this, it's seriously hampering our work in this field". And then people on here say that mathematicians are... gate keeping? Not embracing progress? Who are you to say that? How do you know? What happened to empathy for others? I don't understand you all...
OpenAI dropped a slop bomb on mathematics the same way people will drop slop bombs in codebases and the people here are saying “well drop everything and review it of course!”
I think it’s very reasonable to expect the people that are dropping this on other people for review to have reviewed it first, closely, made adjustments, etc, the same way I do before dumping my Claude/ChatGPT assisted PRs onto other people.
The reviewers shouldn’t be exerting more effort than the person that set the prompt.