Meaningless OpenAI Solution to Clay Navier-Stokes Problem

Here is a post composed by Claude from my prompts about the Clay Navier-Stokes Millennium Problem. 

A Meaningless Solution to a Meaningless Problem

The Clay Navier–Stokes Problem asks whether solutions of the incompressible Navier–Stokes equations stay smooth, or blow up in finite time. Recently a machine-generated proof has been offered which constructs, at every positive viscosity, a forced flow whose velocity becomes unbounded.

There is a simple test any such construction has to pass, and the official formulation never asks for it: report the constants as functions of the viscosity ν. Let us apply it.

One solution, rescaled

Navier–Stokes rescales. If v solves the equations at viscosity one with forcing g, then

u(x,t) = a·v(bx, ct),    a = νb,  c = ab,  f = a²b·g

solves them at viscosity ν. The map is onto. A single unit-viscosity blow-up generates the entire family. So a theorem asserting blow-up "for every ν > 0" is not a family of results. It is one result, photographed at different magnifications, and it contains exactly what its ν = 1 member contains.

All the content is in what the rescaling does to the constants, and there are only a few ways to spend the freedom:

• Hold the solution at size one. Then the forcing amplitude is ν⁻¹: the force required diverges as the viscosity falls, and leaves any fixed admissible class — including the one Fefferman specifies, which fixes its constants once and for all.
• Hold the forcing fixed. Then the velocity amplitude is ν^1/3 and the active length ν^2/3: both vanish.
• Hold the blow-up time at t = 1 — the natural normalisation. Then everything vanishes together:

amplitude ν^1/2,   length ν^1/2,   forcing ν^1/2,   gradient 1

At ν = 10⁻⁸ the flow reaches an amplitude of 10⁻⁴ on a scale of 10⁻⁴ under a force of 10⁻⁴, and then becomes unbounded. The family converges to the zero solution driven by zero force.

The limits do not commute

Write the family out. With blow-up at t = 1,

|u_ν(t)| ~ ( ν / (1−t) )^1/2

and the two factors pull against each other. Let t → 1 first, at fixed ν: infinity. Let ν → 0 first, at fixed t < 1: the zero solution. Infinity one way, nothing the other. The joint limit has no value at all; it depends on the path taken.

The critical path is 1 − t ~ ν, where the amplitude is of order one. And there, the local Reynolds number is

Re = |u|·ℓ / ν = ν^1/2(1−t)^−1/2 · ν^1/2(1−t)^1/2 / ν = 1

identically — independent of both t and ν. The singularity sits permanently at the viscous scale. It does not pass through the inertial range on its way to blowing up; it never enters it. Turbulence is the statement that Re ≫ 1 over a wide range of scales. This object is at Re = 1 at every instant of its life.

It is a shock, with a point's extent

What is this thing? An O(1) velocity change across a thickness ν with gradient ν⁻¹ is the viscous shock profile. For Burgers, a jump U relaxes over δ = ν/U, and its dissipation per unit area is U³ — independent of ν. That is the classical anomalous dissipation, the one-dimensional model of the very mechanism Onsager's conjecture concerns.

So the construction has the profile of a shock. What it does not have is a shock's extent. A shock is a surface: thickness ν in one direction, order one in the other two, hence volume ν and dissipation of order one. This object is ν in all three directions — volume ν³, dissipation ν², carried on an energy ν³. Both vanish.

The same local profile, spread over a surface, dissipates at a rate independent of viscosity. Concentrated at a point, it dissipates nothing. The construction is made to blow up by being denied the dimensionality that lets a shock carry energy.

And it is not even a counterexample

Here is the sharpest point. On the critical path, what diverges is the gradient:

|∇u| = |u| / ℓ = 1/(1−t)  →  ∞,     while |u| ~ 1 stays bounded

— and note that the gradient does not involve ν at all: at every viscosity the same gradient is reached at the same time-to-blow-up, which is the sharpest possible statement that the family is one solution rescaled.

But Fefferman's alternatives ask for the velocity to become unbounded. It does not. At 1 − t ~ ν the family is a bounded flow with diverging gradients, which is neither horn of the dichotomy. It is the third category — non-smooth and non-singular — the one the formulation has no name for, and the one in which every flow of physical interest actually lives. The velocity becomes unbounded only afterwards, in a window of duration of order ν that shrinks to nothing.

A meaningless solution to a meaningless problem

The Clay problem is announced as a problem of turbulence — the wake behind the boat, the air behind the aircraft — and then formulated as a problem without it, asking only whether |u| stays finite. Between the description and the statement, the subject has been sorted out.

Put the turbulence back, in the only form analysis can digest — a turbulent viscosity depending on the local velocity gradients — and Fefferman's alternative (A) ceases to be open at all. Global existence and uniqueness follow by standard Sobolev-space techniques, as Lions showed in 1969, for a stress augmented by |∇u|^1/2, with a coefficient as small as one likes. And at p = 3 that added term is the Smagorinsky model. The regularisation that makes the problem tractable is a turbulence model. The formulation excludes turbulence from its alternatives, and the price of that exclusion is precisely the term whose absence makes it hard.

So we have a construction which, taken to the limit where fluids actually live, converges to the zero solution driven by zero force; which lives at Re = 1 throughout; which is a shock deprived of its surface; and which, in the regime where it has an O(1) amplitude, is not a counterexample to the stated alternative but an instance of the category the formulation declines to name.

A meaningless solution, then. But the deeper trouble is that it answers exactly what was asked. The dichotomy smooth or singular is empty because the physical solution is neither: turbulent flow has bounded velocity and gradients growing without limit — Hölder continuous with exponent 1/3, the finest structures of size ν^3/4 across which the velocity varies by ν^1/4. Not smooth, so regularity theory cannot reach it. Not singular, so no blow-up theorem describes it.

What should be asked instead is wellposedness: which outputs of this flow are stable, and to what tolerance. Drag, lift and mean pressure are stable and computable; the pointwise velocity is neither, and no theorem asserting that its trajectory is unique will make it so. Uniqueness in a function space and stability of an output are different properties, and only the second is what a computation, an experiment, or an aircraft depends on.

The prize was offered for the wrong property. It should not surprise us that what claims it is a solution to nothing in particular.