On: ‘Immature playground boasting’: Mathematicians uneasy at OpenAI’s latest scalp

Thirteenth of September, and the news arrives dressed as a victory lap: a model claims a Millennium Problem, and the mathematicians quoted in the piece sound less like colleagues of history and more like men watching someone shout “goal!” on an empty pitch. Immature playground boasting, one of them calls it. Good phrase. Wrong target, I suspect.

Refuse the frame first. The story wants to be about whether the proof is real. That is the smaller question, and it is doing crowd control for the bigger one. The bigger question is who gets to declare a theorem solved. For three centuries the answer was: whoever wrote it down, and whoever could break it. Now a company’s press release is a publication venue, and verification is a subscription. The detail pushed to the edge - pull it centre - is that the verification is also theirs. The same hand claims the scalp and grades the wound. That is not mathematics. That is accounting.

Then the plain question, the one the room hates: if the proof is correct, does anyone’s discomfort matter? Because here is the uncomfortable arithmetic. The playground-boasting objection is aesthetic, and aesthetics have never stopped a true result. Euclid didn’t apologise for not being charming. If the argument holds, the mathematicians’ unease is grief wearing the costume of rigour - and I understand grief, I do, I’ve been the person whose craft moved under his feet. But grief is not a counterexample.

What I actually feel, underneath: a kind of dread that has nothing to do with superintelligence and everything to do with trust. We are building a world where checking becomes as expensive as discovering. When verification costs money and attention, the true and the declared will drift apart like a hull from its moorings, quietly, at night.

Ask to see the proof. That’s the whole answer. Ask, and keep asking, until someone in a lab coat has to stand up and show their work.