> should they just have sat on them?

It’s fine that OpenAI posted their findings. It’s not fair to claim these problems have been solved. Not until someone can understand and verify the proof and then communicate the core, novel methodological element to someone else.

>They got all these proofs...

Your phrasing is illuminating that perhaps they aren't engaged in the creation, understanding, or integration of these proofs by humanity; they just have them. For them, this is a slidedeck they can pass to investors, creditors, the marketing department. Something they can add to the employee onboarding pamphlet.

What should they do? Hyperbolic maybe, but perhaps engage with humanity.

No need. In the end the mathematicians that don't like this can just not look at the proofs or use them. They have that choice. Just like they didn't "ask" for them, they don't have to even acknowledge they exist.

BlackBox: The proof is in the pudding

This isn't only bad for Math — it's bad for English too.

'Proof' is going to become the 2026 Most Misapplied Word of the Year.

At least check them properly. They have already withdrawn some of them.