I think the argument is that OpenAI should have done the work of cleaning up the proofs in the first place before dumping them onto the math community (or worked with mathematicians to guide the research process). It's as if an energy company dumped 20 tons of waste next to a village and the townspeople decided to clean it up. "How does this benefit the energy company" might not be the right question to be asking.

Uh the ultimate training data... Turning their slop into human accessible anything even if proven wrong is training data they should be paying tens of millions of dollars for.