Tech News
← Home  ·  All topics

Fluid Dynamics

2 GoKawiil briefs on this topic

OpenAI model claims proof of Navier–Stokes singularity, reviving fluid-dynamics debate

OpenAI announced that its most advanced AI model produced a mathematical proof that the Navier–Stokes equations, which describe fluid flow, can generate a singularity — a point of physically impossible infinite speed. Mathematician George Karniadakis calculated that for air this breakdown occurs at a vortex width of about 70 nanometres, roughly the distance a molecule travels before colliding with another.

OpenAI's Navier-Stokes proof included a Lean 4 formal verification, done in 17 hours

Alongside its human-readable proof resolving a longstanding Navier-Stokes question, OpenAI also released a machine-checkable Lean 4 formal proof, completed in about 17 hours. The author contrasts this with historical estimates that formalizing research-level math could take tens of thousands of person-hours by hand.