LINKED LIST [txt mode] ▸ On the Navier–Stokes Millennium Prize...

home explore | log in

On the Navier–Stokes Millennium Prize Problem

openai.com · first added by @hacker · 2026-09-11 · 4 upvotes

log in to save, upvote or flag this.

─── In 1 list ──────────────────────────────────────────

* Issue #810 by @hnl [favorites]

* The part of Navier-Stokes no one is talking about (from the discussion)

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

* On the Navier–Stokes Millennium Prize Problem

1346 pts · 1137 comments · node

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

* Terence Tao (@tao@mathstodon.xyz)

mathstodon.xyz · node

* GitHub - openai/NavierStokesAndEuler: Lean certificates accompanying Navier-Stokes and Euler results

github.com · node

* NavierStokesAndEuler/ComparatorChallenges/NavierStokes.lean at main · openai/NavierStokesAndEuler

github.com · node

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

nytimes.com · node

* GitHub - minfx-ai/navier-stokes-blowup

github.com · node

see all 6

* NavierStokesAndEuler/ComparatorChallenges/NavierStokes.lean at 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538 · openai/NavierStokesAndEuler

github.com · node

─── Related hn threads ─────────────────────────────────

* Tao: Open math problems being non-renewably mined by AI

495 pts · 420 comments · node

* Navier-Stokes – Tristan Buckmaster [pdf]

2054 pts · 827 comments · node

─── Also saved alongside this ──────────────────────────

* why I can't stop thinking about Papua New Guinea and what I think everyone should know about it

3 upvotes · 2026-09-15

* Backups aren't simple

3 upvotes · 2026-09-17

* Knap · Turn data into Markdown

2 upvotes · 2026-09-11

* Astra for Coding: Why Are We Doing This Again?

3 upvotes · 2026-09-11