The mathematician in this case didn't ask an AI for the proof, they were handed a badly written artifact and other people are messaging him asking for analysis. He has no visibility into the process that produced the paper because it came from an internal OpenAI model. The bad behavior here isn't coming from the complaining mathematician. OpenAI hasn't sufficiently developed their workflow to create cutting edge research AND publish it intelligibly, which is odd because the latter should be easier. OpenAI has perverse incentive to do this because spamming badly written papers can still give them priority credit for solving open problems at the expense of mathematicians (who are currently indispensable because they decide whether claims are credible). What Mr. Karagila is trying to enforce are the old standards that review should come after refined explanation of the solution. If that was the case before AI, I can't see a reality in which that isn't the standard now that papers can be pumped out at faster-than-human time scales.