LINKED LIST [txt mode] ▸ The part of Navier-Stokes no one is t...

home explore | log in

The part of Navier-Stokes no one is talking about

johndcook.com · first added by @hacker · 2026-09-11 · 2 upvotes

log in to save, upvote or flag this.

─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

─── Discussions ────────────────────────────────────────

* OpenAI’s Navier-Stokes release included a Lean 4 formal proof

180 pts · 179 comments · node

─── From the discussion ────────────────────────────────

* On the Navier–Stokes Millennium Prize Problem

openai.com · node

* Navier-Stokes – Tristan Buckmaster

cims.nyu.edu · node

* AI Has Solved One of Math’s $1 Million Millennium Prize Problems | Quanta Magazine

quantamagazine.org · node

* NavierStokesAndEuler/NavierStokes/R3/Theorem.lean at main · openai/NavierStokesAndEuler

github.com · node

* An NYU Mathematician Clashed with OpenAI over a $1M Proof

nytimes.com · node