LINKED LIST [txt mode] ▸ Navier-Stokes – Tristan Buckmaster

home explore | log in

Navier-Stokes – Tristan Buckmaster

cims.nyu.edu · first added by @petec · 2026-09-13 · 3 upvotes

log in to save, upvote or flag this.

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

(not in any lists yet)

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

* tristanbuckmaster (@tristanbuckmaster@mastodon.social) (from the discussion)

* Some thoughts on the Navier–Stokes Millennium Prize Problem (from the discussion)

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

* Navier-Stokes – Tristan Buckmaster [pdf]

2054 pts · 827 comments · node

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

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

github.com · node

* Stable Singularity of the Euler Equations on R^3 without forcing | Anima on AI

anima-ai.org · node

* Computer Helps Prove Long-Sought Fluid Equation Singularity | Quanta Magazine

quantamagazine.org · node

* Terence Tao (@tao@mathstodon.xyz)

mathstodon.xyz · node

* https://arxiv.org/html/2501.15701v2

arxiv.org · node