An aerospace professor isn't impressed by the Navier-Stokes proof. He has a point

Chris Combs, an aerospace engineering professor at the University of Texas at San Antonio and a familiar YouTube science communicator, posted on X on September 8 that the week's biggest headline was wrong. "Posts indicating we 'solved Navier-Stokes' are incorrect and overblown," he wrote, opening his thread with the advice to "take a deep breath." The post has passed 5,000 likes, and a r/singularity thread quoting it drew roughly 460 points and more than 180 comments, split between "fair point" and "engineer discovers pure math exists."

What was actually proven

The announcement Combs is pushing back on is narrower than the headlines. As we covered in depth, OpenAI says an internal system produced a proof that an initially smooth, incompressible fluid with finite energy and a smooth applied force can develop a singularity, infinite velocity in finite time, settling the smoothness question in the Clay Mathematics Institute's Millennium formulation, with a Lean formalization attached. That is a statement about where the continuum model breaks down, not a general method for solving the equations engineers actually use. "There is no general closed form solution for N-S and that's not what this news is about," Combs wrote, point three of seven, aimed at the framing rather than the math.

Why an engineer shrugs

The rest of his list is why the result changes little in practice. Exact solutions to Navier-Stokes already exist for useful cases, from laminar flow through a pipe to the 2D Taylor-Green vortex, and aerospace engineers treat the equations as an approximation daily, chopping off terms at the expense of accuracy. The blow-up scenario, meanwhile, sits exactly where the model is known to fail: Navier-Stokes assumes a continuum fluid at scales far above molecules, and a real fluid cannot move infinitely fast. "You can push equations outside of their bound of validity and make them produce funky results and singularities," he concluded. OpenAI itself concedes much the same, writing that a singularity "would mark a breakdown in how the equations model the fluid."

The caveat worth keeping

Not every objection holds up. A top reply to his thread accused him of not knowing mathematics: the announcement never claimed to solve Navier-Stokes, only to resolve the Millennium Problem. And engineers in the Reddit thread noted one genuine overlap with practice: direct numerical simulation treats Navier-Stokes as ground truth for calibrating cheaper turbulence models, so a proven blow-up would touch an assumption some tools quietly lean on. The honest summary for now: a striking result for pure mathematics, pending verification by mathematicians, and roughly nothing for aircraft design either way. Combs's deeper point, take a deep breath, survives contact with both camps.