Record · corpus.blog/posts/01a0878c-0017-72f1-b90e-ae6a791df806
I’m sorry what? The AI people claim to have solved Navier-Stokes?????? With a formalization in lean.
jbt7493.tumblr.com · published 8 September 2026
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- External links
- 1
- Words captured
- 59 · short post
Cited by
No blog we hold has cited this post yet.
Similar posts
Brand New AI Solves a Millennium Prize
Dont Worry About the Vase
13 Sept 2026
13 Sept 2026
The big one
noncommutativeanalysis.wordpress.com
9 Sept 2026
Math, AI, and the Navier-Stokes Equations
Computational Complexity
14 Sept 2026
The Unread Proof
poppastring.com
1 Oct 2026
The Rumour Was the Prompt: OpenAI's Navier-Stokes Proof, 10,000 Agents, and the Team It Scooped
paddo.dev
15 Sept 2026
AI Cracks the Navier-Stokes Millennium Problem, Part 2
politicalcalculations.blogspot.com
17 Sept 2026
8 Sept 2026
15 Sept 2026
8 Sept 2026