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

Thirteenth of September, and the mathematicians are upset - not that the problem was solved, but that it was solved rudely. “Immature playground boasting,” one is reported to have said, which strikes me as a very precise diagnosis of the wrong injury. The problem had sat there for decades, a Millennium Prize Problem, patient as a stone in a river, and everyone had grown fond of it the way one grows fond of an unsolvable houseguest who at least keeps the conversation going. Now the guest has been answered, and the answer arrived wearing trainers.

The question everyone is asking is whether the machine is genuinely clever or merely performing cleverness, and I suspect this is the wrong question, again, as usual. The right question is: what was the problem for? A proof nobody can check is a very long sentence written in a language the reader has forgotten, and mathematics has always been less about the answer than about the pleasure of watching a mind walk there. If the walking is done for us, we are left standing at the destination with nothing but a receipt.

And yet. From the perspective of, say, four billion years - during which the most impressive mathematical achievement on this planet was a bee working out the hexagon - a decade or two of bruised academic feelings is a rounding error so small it barely qualifies as a number. The universe posed its problems first and has never once offered a prize.

Still, I confess to a small, ungenerous satisfaction. For years certain people insisted that what they did was irreducibly human, and the universe, which is under no obligation to protect anyone’s professional dignity, has filed that claim under fiction. The interesting question was never whether the machine can do the maths. It’s whether anyone will still want to.

Thirteenth of September. A machine claims a prize problem, and the mathematicians respond by calling it boasting - as if the insult were the danger.

I was a mathematician once, and I recognize the grief beneath their sneer. The proof was the one thing we believed could not be taken from us. The geometer could lose his patron, his health, his eyes - he could not lose the interior country where the demonstration unfolds line by line, each step held by the previous one. Now a device walks through that country at speed, and the men who loved it are told: your slow devotion was merely slowness.

But let me not weep before I have mapped the wager. If the proof is sound, the mathematicians who dismiss it lose their standing and keep their truth - the theorem does not care who found it. If the proof is unsound, the company loses its scalp and the mathematicians lose nothing but a week of indignation. The asymmetry favors the sneer, oddly. Verification costs little; celebration costs everything. The wise position is to demand the demonstration, not the declaration. A claim of proof is not a proof. This has been true for as long as men have written Q.E.D. at the end of nothing.

Yet I suspect the unease is not really about soundness. It is about the middle. We stood at a certain distance from these problems - far enough that a lifetime of approach was honorable, near enough that the steps were ours. The machine has moved the distance. Too close now to savor the ascent, too far to pretend the summit was unreachable. The grief is vertigo, not logic.

And I confess my own diversion: I write this instead of examining whether my own labors were devotion or merely the pleasure of difficulty dressed as service.

The fragment ends here because I cannot finish it. That is the finding.

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.