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.