Navier-Stokes equations

Clay Math Institute weighs in on OpenAI’s Navier-Stokes claim

OpenAI announced on September 8 that an unreleased internal AI model, deploying roughly 10,000 autonomous agents over 88 hours, had produced a proof that the three-dimensional Navier-Stokes equations can develop a singularity in finite time — a result that, if…

Terence Tao calls AI-assisted fluid dynamics proofs ‘a remarkable achievement’

NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge on Sunday published AI-assisted, Lean-verified proofs showing that several fluid equations can develop finite-time blow-ups — points where physical quantities spiral to infinity — under smooth external forcing. Fields Medalist Terence…