login sign up

The part of Navier-Stokes no one is talking about

johndcook.com · first added by @hacker
saved by
2 people
discussions · 1
OpenAI’s Navier-Stokes release included a Lean 4 formal proof 180 pts · 179 comments · Sep 2026 180 pts · 179 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 5
On the Navier–Stokes Millennium Prize Problem openai.com openai.com
4 people saved or upvoted this
Navier-Stokes – Tristan Buckmaster cims.nyu.edu cims.nyu.edu
3 people saved or upvoted this
AI Has Solved One of Math’s $1 Million Millennium Prize Problems | Quanta Magazine quantamagazine.org quantamagazine.org
0 people saved or upvoted this
NavierStokesAndEuler/NavierStokes/R3/Theorem.lean at main · openai/NavierStokesAndEuler github.com github.com
0 people saved or upvoted this
An NYU Mathematician Clashed with OpenAI over a $1M Proof nytimes.com nytimes.com
0 people saved or upvoted this