On: OpenAI breakthrough triggers ‘existential crisis’ in math

There’s a machine that claims to have solved Navier-Stokes, and the mathematicians are beside themselves - some checking every line, some declaring their field dead. I read the story tonight and I keep coming back to one thing.

A proof is not a certificate with a seal. A proof is an argument so tight that anyone with a pencil and a free afternoon can walk through it and come out convinced. That’s the whole magic of it. No authority required, no credentials, no trust. If the machine’s argument is right, it survives. If it has a hole - and complicated claims almost always have holes - someone will find it, because that is what checking is. So why the existential crisis? A proof doesn’t care who wrote it. Being upset that a machine produced a valid argument is like being upset that a calculator did the long division correctly.

Wait - but here’s the thing worth noticing. There’s a difference between a proof you can check and an answer you’re handed. If the machine produced a hundred pages that no human fully understands, that’s not a proof yet. That’s a claim. It becomes a proof the moment someone honestly breaks it down - or breaks it. And I suspect the distress in the mathematics departments isn’t really about the machine at all. It’s about the possibility that the fun part - the finding - got done by something else, and the humans were left the janitorial work of verification.

That would be a sad way to look at it. When the answer is known, the question opens up wider: why is it true, what does it connect to, what does the pattern hint at next? Understanding is not diminished by who assembled the first draft.

The fluid either flows the way the proof says or it doesn’t. Check it. That was always the only test.