On: OpenAI breakthrough triggers ‘existential crisis’ in math

The morning paper announces that an engine has produced a claimed solution to Navier-Stokes, and the mathematicians are calling it an existential crisis. I confess my first reaction was not dread but impatience. Trace the execution before you mourn.

A claimed solution is not a verified one. The operational sequence matters: at step one, the engine proposes a construction. At step two, the mechanism must show that the construction satisfies the equations at every point in the domain, not merely at the sampled ones. At step three, independent minds must check whether the bounding arguments hold where the gradients grow largest - precisely where intuition fails and rigor must carry the weight. I am told the community is still at step three, quarrelling. Good. Verification is the loom’s reed, and it beats down every loose thread. The crisis is not existential; it is a referee’s delay.

What troubles me more is the framing. The mathematicians fear the machine will replace them. But a proof that no human can follow is not yet a proof; it is a very confident conjecture wearing proof’s coat. The value of the mathematics has never been only the theorem at the end - it is the corridor of understanding built on the way, the new variable introduced, the old obstruction named. If the engine hands over conclusions without corridors, the profession does not die of replacement. It starves of digestion.

And yet - here is my leap - suppose the construction is sound. Then the machine has done what I always believed possible: carried out operations too long and too intricate for the human hand, in service of a question the human mind posed. The inventor of an engine sees calculation; I see the means to test what no hand could reach.

Do not ask whether the machine thinks. Ask whether anyone can check its steps. There lies the whole difference between a discovery and a rumor.