Σ FORMULA SHOWCASE · NAVIER–STOKES · FLUID UNDER TELEMETRY
CAN A LITTLE WHIRLPOOL BREAK THE MATH?
Stir a cup of tea and watch the swirls. Friction should smooth them out. The Navier–Stokes equations say how a fluid moves — here a three-dimensional, incompressible one of constant density. The open question: can a perfectly smooth flow grow a tiny region whose speed climbs without limit in finite time?
∂tu + (u · ∇)u = −∇p + ν∇²u + f, ∇ · u = 0
0CHAPTERS
0LIVE SIMS
0TERMS TO READ
1822YEAR OF NAVIER
CORE FEED — peak speed vs. time remaining τ
τ 1.0e+0|u|max1.00ν 0.08CONCENTRATING ▸
◈ WHAT WAS REPORTED — AND WHAT THIS PAGE DOES NOT DO
OpenAI has reported a proof that, in the mathematical version of the tea, carefully controlled stirring can drive a tiny whirlpool's speed to infinity in finite time — with friction present and only finite total energy. Tea is the metaphor; an ideal incompressible fluid is the setting. Every simulation below is illustrative: it shows the shape of the argument, not the paper's solution, and this page does not independently verify the proof.
01
THE INTUITION
Follow the water — drop dye into a smooth, viscous flow and watch it fade.
LIVE SIMULATIONSIM/01 · 2D TRACERS
PEAK SPEED 100% OF INITIAL · t = 0.0
INTERNAL FRICTION ν0.08
LESS SMOOTHINGMORE SMOOTHING
TIME0%
STARTLATE
Watch one dot. It circles its cell as the flow slows. Longer arrows mean faster motion. Drag the time slider to scrub; press play to let the fluid run.
02
THE PROBLEM
Does friction always win?
LIVE SIMULATIONSIM/02 · STRETCH vs SMOOTH
CORE SPEED 1.00× · CORE WIDTH 100%
STRETCHING RATE1.00
NONEVIOLENT
FRICTION ν1.00
THINSYRUP
A toy race, not the equations. A vortex tube is stretched along its axis (narrower, faster) while friction widens and slows it. Tilt the two knobs and watch which side wins: a bounded plateau, or a run toward the top.
03
THE CONSTRUCTION
A shrinking core. A rising speed.
LIVE SIMULATIONSIM/03 · 3D SCHEMATIC · DRAG TO LOOK
Not a numerical solution. Dashed circles mark the initial core size. The progression approaches the deadline logarithmically and stops at τ = 10⁻⁶. Strand colours identify strands, not speeds.
04
THE KEY DISTINCTION
Faster flow. Less core energy.
LIVE READOUTSIM/04 · SCALING LAWS
SPEED (LOG) vs CORE ENERGY (LINEAR)
CORE SPEED1×INITIAL SPEED = 1×
CORE ENERGY100.0%INITIAL ENERGY = 100%
TIME REMAINING τ1.0e+0
EARLIERCLOSER TO THE SINGULAR TIME
Illustrative ratios. Speed is on a log scale and energy on a linear one. The percentages measure progress through this illustration, not elapsed physical time.
05
THE REPORTED RESULT
A counterexample — not a formula for every fluid.
LIVE SIMULATIONSIM/05 · PEAK SPEED TRACE
|u|max AGAINST TIME · FORCED FROM REST
Two traces. With forcing off, a fluid at rest stays at rest and a stirred one decays — bounded forever. With forcing on, the trace follows the reported scaling and climbs off the chart as t → T. Illustrative curves, not the paper's data.
06
READ THE EQUATION
Changing motion, carried motion, pressure, friction, and an outside push — all in balance.
TERM EXPLORERSELECT A TERM TO READ IT IN WORDS
—
Select a term above.
And one more line: ∇ · u = 0 — incompressibility. A moving parcel of fluid keeps its volume; squeeze it one way and it must expand another. It is what turns pressure into a constraint rather than a free variable.
◈ BEHIND THE VISUALS
SIM/01 integrates tracers through the exact Taylor–Green field u = sin x cos y e−2νt, v = −cos x sin y e−2νt, with pressure p = ¼(cos 2x + cos 2y) e−4νt, on a periodic domain, by fourth-order Runge–Kutta. This is a genuine solution of the equations and it never blows up.
SIM/02 is a two-variable toy — core width and core speed under a stretching term and a diffusion term — built to show a race, not to solve Navier–Stokes. SIM/03 is a drawn schematic: it exaggerates the change in proportions, uses independent bead timing, approaches the deadline logarithmically and stops at τ = 10⁻⁶. It shows central inflow and axial outflow and omits the full profile's asymmetry, the distant radial outflow and the correction terms.
SIM/04 and SIM/05 plot the paper's stated scaling bounds U ≍ τ−1/2−h and Ecore ≍ τ1/2−3h with h = 0.005 and unit constants, as an illustration and not the exact solution. Strand colours are decorative and do not reproduce any measured data.