OpenAI Blog company blog
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
- Points
- 1,346
- HN comments
- 1,137
- Submissions
- 1
- Cited by
- 21 commenters
Math & AlgorithmsScience & Space2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 8, 2026 | On the Navier–Stokes Millennium Prize Problem by tedsanders | 1,346 | 1,137 |
Cited in comments
Linked from 25 Hacker News comments by 21 different people, from Sep 2026 to Oct 2026.
Most recent:
- nl · Oct 7, 2026
- nl · Oct 7, 2026
- _flux · Oct 7, 2026
- latent-person · Oct 7, 2026
- whimsicalism · Oct 7, 2026
- nl · Oct 6, 2026
