>I think the argument is that OpenAI should have done the work of cleaning up the proofs in the first place

So the complaint is, OpenAI didn't replace the role of human mathematicians.... enough?

If this gets 'fixed,' I highly doubt the math community would be any happier.