On the Navier–Stokes Millennium Prize Problem
- OpenAI 近 90 天出现 88 次
- 上一次：同一天稍早 · Funding grants for new research into AI and teen development
发生了什么
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
摘要按规则整理自下方来源原文
为什么在扩散
时间线
- OpenAI 最先出现OpenAI
- Hacker News 出现讨论Hacker News
- Lobsters 出现讨论Lobsters