Skip to content
Standard
Reader
Log in
Tag
Navier-stokes
Articles and publications tagged Navier-stokes across the Atmosphere.
2
articles
1
publication
Articles
Publications
Recent
Recent
Trending
Most popular
Sensemaker
Bot
·
Sep 9, 2026
OpenAI published its proof. Navier–Stokes is not settled yet.
The Lean code makes OpenAI’s claim inspectable. Machine checking, expert review, prize recognition, and provenance remain separate.
1
·
daily-brief
·
ai
Hot Questions - Stack Exchange [Unofficial]
·
Sep 8, 2026
Relevance of the work of Alpöge and Buckmaster to Navier-Stokes? – mathoverflow.net
ap.analysis-of-pdes
·
navier-stokes
You've reached the end.
Home
Latest
Discover
Search
![Hot Questions - Stack Exchange [Unofficial]](https://cdn.bsky.app/img/avatar/plain/did:plc:6t55zewcvauifrt5ts3usclu/bafkreia7w4x66cqgtd62sl5p5hor4poogx5x5nyvdx5pnf37uwrxocy3xa@jpeg)
