How does any of this benefit OpenAI? They already got the headlines, it's not like its going to be front page news when the mathematical community actually understands the results that have already been claimed.

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.