Not sure I agree - they dropped hundreds of papers, most of which were so badly written that they were incomprehensible. If it wasn’t for the lean certificates on 30% of them, the mathematical community would have told them to go and whistle.

I think the consensus here is that most of the papers are effectively correct. But it would take years of study just to understand most of the problem statement - so we have to wait for the mathematical community to digest the borderline-nonsense that OpenAI spewed out.