OpenAI 称已解决 Navier–Stokes。判决：NEEDS REVIEW。

本视频涵盖的内容

• OpenAI：Navier–Stokes 爆破，约 10,000 个代理，88 小时，130B 输出令牌，Lean 验证
• Buckmaster 和 Alpöge：在相同方法上花费了一年，一个谣言，以及一个带着两个提议的周日电话
• Terence Tao：“即使是有人正在研究某个问题的谣言，也可能引发大量的 AI 驱动的努力来解决它”
• Jacob Coxon 从 Anthropic 辞职：两个实验室都“直接冲向自我进化的超级智能”
• Meta 发布 Muse：一个运行在自己云 VM 上的个人代理，在 WhatsApp 中，仅限美国

翻译的文字记录

译自英文原版旁白。可用音频和字幕由 YouTube 控制。

0:00 昨天，OpenAI 宣布其 AI 解决了一个千禧年大奖问题， 开放九十年，一百万美元，在八十八小时内， 而那两位在相同问题上花费了一年的数学家却通过 一个周日电话得知此事，据其中一人说，电话中包括：你为什么要毁掉你的 职业生涯？这是一个漫长的星期一。 黎明时分，一位纽约大学教授发布了 一份四页的声明；在 Hacker News 上获得了 1600 个赞。下午 OpenAI 发布了证明。 在下午 OpenAI 发布了证明。

0:26 晚上，Terence Tao 说开放问题 现在正像不可再生资源一样被开采，一夜之间，一名 Anthropic 研究员在 X 上辞职， 资源，一夜之间，一名 Anthropic 研究员在 X 上辞职， 四千四百万次浏览，因为两个实验室都，引用他的话， 在拿我们的生命冒险。 此外，Meta 发布了一个个人代理，它在 WhatsApp 中运行并拥有自己的 电脑。在这个视频中：证明、电话、脚注， 以及 Terence Tao 希望这些实验室听到的那句话。

0:49 今天是 9 月 9 日星期三，这里是 The Daily Diff。 先说数学。 Navier–Stokes 描述了流体如何运动，自 1934 年以来，没有人知道平滑的 3D 流体是否会达到奇点：速度在有限时间内变为无限大。 OpenAI 的系统说会。 从静止开始，施加一个平滑的力，保持能量有限， 一个涡流就会像意大利面一样向内盘旋，直到速度爆发。 克莱公式的 C 和 D 声明，用 Lean 验证，

1:16 Astra 耗时十七小时验证。 所以流体可能会爆炸，任何把咖啡洒在 MacBook 上的人都知道， 但现在它在 Lean 中得到了验证。 如何做到的：OpenAI 有一个新的内部模型，他们称其能力远超 Astra，9 月 1 日，他们听到了一个谣言，说两个千禧年问题已经被 解决了，所以他们将它指向了每一个开放的问题。 Navier–Stokes 小组：大约一万个并发代理， 一千三百亿个输出令牌；所有问题总共三千亿个。

1:42 按 Astra 牌价计算，一千五百万美元的令牌用于一个 OpenAI 称其不会领取的百万美元奖金，以这个利润率来看， 谁会领呢。另一边。 纽约大学的 Tristan Buckmaster 和 Anthropic 的 Levent Alpöge， 花费了一年时间，用 Claude 和 Codex 推动 Córdoba 和 Martínez-Zoroa 的方法， 用 Buckmaster 自己的研究经费支付 OpenAI 的费用。 8 月 15 日，他们得到了欧拉方程的爆破；Buckmaster 称这是他读过的 第一个 LLM 证明，也是最可怕的，

2:10 并于 8 月 22 日在 Lean 中得到验证。 然后谣言传开，9 月 3 日他给 OpenAI 发邮件说：是我们， 这是私人恩怨，我们很快会发布。 周日 12:45，OpenAI 要求当天随时见面， Sébastien Bubeck 也加入了。 Buckmaster 被告知该模型在很少人为干预的情况下证明了强制 Navier–Stokes， 在通话中，这变成了一个完整的团队， 先解决简单问题，一个由 Codex 编写的提示，以及大量的

2:36 计算。他问第一个提示是什么时候发送的。 最终：在过去几天里，在我们工作的信息传到 OpenAI 之后。 接着是两个提议。 一：你发布欧拉，我们第二天发布 Navier–Stokes。 二：由 Buckmaster 独立撰写 OpenAI 的证明，并且， 他说，Bubeck 两次想让 Alpöge 退出这篇论文，因为他在 Anthropic 工作。 他拒绝了，并说他会公之于众。 根据声明，回复是：你为什么要毁掉你的职业生涯，

3:00 然后是：如果你不想让我好言相待，我也可以不好言相待。 通常这句话就是马头出现在床上的前兆。 OpenAI 的版本：没有人看到他们的工作，没有用户数据被访问， 并且，脚注，他们不能排除教授们使用他们产品产生的匿名数据 帮助改进了模型。 Alpöge 的评价：他们坦率承认值得表扬。 Sam Altman 说每个人都表现出 正直和慷慨，而另一方团队

3:25 威胁要提出毫无根据的抄袭指控，抄袭的英文拼写中只有一个 i。 所以官方立场是：我们没有抄袭你的作业， 我们只是听说你在写作业。 Terence Tao 称教授们的结果非凡，并指出 Buckmaster 通过电话向他解释了，这与基于人工智能的交流模式 截然不同。然后，他发表了四篇文章：好的开放问题现在正像 不可再生资源一样被开采，即使是有人在研究某个问题的谣言也会引发 大规模的人工智能努力来解决它，所以现在大家的动机是停止分享研究

3:55 方向，这逆转了数百年的开放科学。 一个周末内有三个小组发布了流体爆破；下一篇论文可能需要签署保密协议。 这就是 Jacob Coxon 辞职时的心情： 在 OpenAI 预训练了三年，然后是 Anthropic；他说这两家公司 都没有负责任地行事， 他们都在竞相开发自我进化的超级智能， 而最终局面不应该从一家私人公司的 Slack 中启动。 四千四百万次浏览，就在一个实验室派遣一万个代理去验证一个谣言的那天，

4:21 所以这个帖子带着实时演示发布了。 与此同时，Meta 发布了 Muse：一个运行在自己云 VM 上、拥有自己 浏览器的个人代理，你可以在 WhatsApp 中与它对话。 仅限美国，大部分功能免费。 Meta 承诺今年晚些时候发布一个连 Meta 都无法阅读的版本， 一种非常具体的描述今年的方式。 Hacker News 热门评论：我不想以这种方式与 Meta 分享我的生活。 第二条：它一直在试图向我推销婴儿车。

4:45 如果你宁愿阅读而不是听我说，diff 每天早上都会发送到你的收件箱—— 在 the daily diff dot dev 免费获取，链接在下方。 所以——今天的判决：NEEDS REVIEW。 证明通过编译；故事却不连贯。 一万个代理在一个周末内解决一个九十年的老问题， 是今年的能力成果；但通过一个周日电话向你听说此事的 两个人宣布，则不是。 两个人宣布，则不是。

5:07 这就是今天的 diff。 我是 Axrisi 的 Niko。 负责任地合并。

来源

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com