On the Navier–Stokes Millennium Prize Problem
- OpenAI: 87 events in the last 90 days
- Previous: earlier the same day · Funding grants for new research into AI and teen development
What happened
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Summary assembled by rule from the sources below
Why it's spreading
Timeline
- First appeared on OpenAIOpenAI
- Discussion started on Hacker NewsHacker News
- Discussion started on LobstersLobsters