I agree, and I disagree. There are plenty of published mathematical papers that are just as poorly written as OpenAI's. Nobody says nothing because the authors are big names. In some cases, the proofs are not even correct, but everybody has a feeling the result are true nonetheless, so they pretend not to see it. So I agree that OpenAI should have done a better job of writing down the results, probably by paying working mathematicians like Anthropic did. But I disagree that this low-quality writing is somehow a good reason to be angry at OpenAI specifically, otherwise you would have to be angry at a lot of people.