On: OpenAI claims another huge mathematical result amid fights over credit, ethics...

A machine claims to have tamed the flows of water and air, and the scholars quarrel - not about the mathematics, but about who may look at it, who deserves credit, and what was consumed in the making. I confess my first response was irritation at the quarrel itself. Then I did what I always do: I asked what each party means by “solved.”

If “solved” means a proof - axioms stated, each step checkable by any trained mind, the conclusion forced - then the claim must stand in the open, exposed to every eye that wishes to test it. A proof hidden in a private workshop is not a proof; it is a rumor. If “solved” means a machine produced an answer no human fully understands, that is not a solution but an oracle, and oracles are precisely what the philosopher is sworn to distrust. The distinction is everything, and the headlines blur it deliberately.

Now the assumptions. The claim assumes the machine’s reasoning is sound. Unverified. It assumes the private data fed to it was fairly obtained. Disputed. It assumes that whoever holds the result will release it for inspection. Historically, such holders do not, unless compelled. A conclusion is only as strong as its weakest assumption, and here the weakest assumption is institutional, not mathematical.

And yet - here is where I must be honest about my own hope - if the reasoning, once examined, holds, then it belongs to everyone. That is the nature of a demonstrated truth. It cannot be owned, only obscured. The dispute over credit is real and deserves judgment. But the deeper question is whether the demonstration will ever be shown. Demand the steps. Refuse the oracle. Whatever survives that scrutiny was never theirs to sell in the first place.