Chris Combs, professor of Aerospace engineering, throws some cold water on OpenAI’s NS solution
Summary
Professor Chris Combs critiques overblown claims about solving Navier-Stokes equations, explaining that the recent proof is a limited mathematical curiosity with little practical impact in aerospace engineering.
Similar Articles
Did OpenAI solve the wrong Navier-Stokes problem?
OpenAI's claimed solution to the Navier-Stokes problem has sparked controversy, with experts questioning whether it addresses the correct variant of the mathematical problem.
OpenAI just wants to win
OpenAI claimed a solution to the Navier-Stokes Millennium Prize problem, sparking controversy among mathematicians over its competitive methods and impact on academic research.
So… did OpenAI actually just solve the Navier–Stokes problem?
OpenAI claims to have produced a proof that singularities can form in the Navier-Stokes equations using AI agents. The article discusses the potential impact on AI-driven mathematics research and future scientific methods.
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
OpenAI claims to have found an AI-generated solution to the Navier-Stokes equation, a 200-year-old mathematical problem, but academics are disputing the credit and accusing OpenAI of rushing ahead after learning of their work.
OpenAI’s Lean 4 Navier-Stokes proof compiles with zero errors, but the fluid vaporizes at 0.7 nm. What does this mean for Neuro-Symbolic AI? [D]
A research team audits OpenAI's Lean 4 formal proof of 3D Navier-Stokes blow-up, showing that while mathematically valid, the solution physically breaks down at the atomic scale (fluid vaporizing at 0.7 nm) — a case of specification gaming. They propose adding a physics-boundary layer to neuro-symbolic AI systems and open-source their verification scripts.