The part of Navier-Stokes no one is talking about

· John Cook · Sept. 9, 2026, 12:48 p.m.
Formal methods Navier-Stokes Equations Fluid Dynamics openai Formal Proofs
Summary
The blog post discusses a recent proof by OpenAI regarding the Navier-Stokes equations in fluid dynamics, highlighting an overlooked aspect: the formal proof released in Lean 4. The author reflects on the significance of this new contribution amidst ongoing discussions in the field.
Read full post on www.johndcook.com →
AUTHOR
Advertise
Sponsor diff.blog
Put your product in front of developers who read and write about their craft. One exclusive sponsor at a time.
Become a sponsor →
BLOG POST FEATURED ON

Placeholder image
Hacker News

177 points

Placeholder image
r/hackernews

5 points

Placeholder image
r/hypeurls

1 points

Add this plugin to your blog