Rising2 sources· last seen 10h ago· first seen 23h ago
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.
Lead: OpenAIBigness: 32navierstokesmillenniumprizeproblem
📡 Coverage
50
2 news sources
🟠 Hacker News
0
🔴 Reddit
0
📈 Google Trends
0
Full methodology: How scoring works
Receipts (all sources)
On the Navier–Stokes Millennium Prize Problem
LABS · OpenAI · 23h ago
score 201
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
On the Navier–Stokes Millennium Prize Problem
RSS · Simon Willison · 10h ago
score 173