A mathematician reads the AI future(theatlantic.com)
44 points by artninja1988 | 67 comments
An Atlantic essay by Cornell mathematician Steven Strogatz reflecting on AI's impact on mathematics after OpenAI's claimed Navier-Stokes solution in 2026.
#navier-stokes on Hacker News
9 stories tagged navier-stokes, newest first.
Vi Hart's Big Navier-Stokes Post(patreon.com)
15 points by signa11 | 3 comments
A Patreon post by Vi Hart, in six parts, about the Navier-Stokes problem, the Lean theorem prover and Mathlib, OpenAI, and the politics of mathematics.
OpenAI mistranslated mathematics into code for its Navier-Stokes proof(newscientist.com)
50 points by danielmorozoff | 5 comments
New Scientist article reporting that OpenAI's human-readable Navier-Stokes proof and its computer-formalized version do not match due to mistranslation into code.
Navier–Stokes Lost in Translation(arxiv.org)
321 points by nill0 | 194 comments
arXiv paper arguing that Lean verification of AI-autoformalised proofs, such as a claimed Navier–Stokes blow-up proof, does not guarantee the original natural-language proof is correct.
Did OpenAI solve the wrong Navier-Stokes problem?(scientificamerican.com)
92 points by tomjakubowski | 46 comments
Scientific American article on whether OpenAI's claimed Navier-Stokes proof qualifies for the $1-million Millennium Prize only through a controversial loophole.
Navier-Stokes Announcement(claymath.org)
317 points by rvz | 253 comments
Clay Mathematics Institute news page titled "Navier-Stokes Announcement," dated 11 September 2026, concerning the Navier-Stokes Millennium Prize problem.
On the Navier–Stokes Millennium Prize Problem(openai.com)
1295 points by tedsanders | 1045 comments
OpenAI research publication page on the Navier–Stokes Millennium Prize Problem, linking to a paper and a Lean formalized proof.
![Screenshot of cims.nyu.edu: Navier-Stokes – Tristan Buckmaster [pdf]](https://hn.urlbox.com/shots/renders/2026/9/8/63fa481c-8c2c-40ae-af4e-16be796c117e.jpg)
Navier-Stokes – Tristan Buckmaster [pdf](cims.nyu.edu)
1947 points by procedurecall | 798 comments
A PDF statement by mathematician Tristan Buckmaster announcing LLM-assisted, Lean-verified blowup results for Boussinesq, 3D Euler, and porous media equations with smooth forcing.
Simulating fluids, fire, and smoke in real-time(andrewkchan.dev)
727 points by ibobev | 156 comments
Andrew Chan's blog post with notes on the math, algorithms, and methods for simulating fluids like fire and smoke in real time, with source code on GitHub.