liiil

凸^-^凸

[sleepy.md @sleepy0x13]

这可能是 AI 科研第一次真正意义上的「抢跑」争议。

一个数学家把还没发表的研究草稿长期放进 Codex。几天后，OpenAI 告诉他，自己的内部模型沿着非常接近的路线，做出了一个可能直接碰到 Navier–Stokes 千禧年大奖问题的结果。

事情得从 Tristan Buckmaster 和 Levent Alpöge 最近做的工作说起。

两人一直在研究流体方程的 finite-time blow-up，而且大量使用 Claude、Codex 辅助推导。

他们沿着 Córdoba 和 Martínez-Zoroa 的路线，把原本依赖比较粗糙 forcing 的结果一路推进到了 smooth forcing，目前已经在 IPM、Boussinesq 和 3D Euler 上做出了结果。

陶哲轩专门写文章评价过这项工作，认为这条路线有机会继续推进到 Navier–Stokes。

但 Buckmaster 和 Alpöge 自己还没有公开完整的 Navier–Stokes 证明。

真正炸裂的事情发生在后面。

因为 Alpöge 在 Anthropic 工作，外面一度传出「Anthropic 可能解了一个千禧年大奖问题」。Buckmaster 特意联系 OpenAI，解释这是两人的私人研究，和 Anthropic 没关系。

然后 OpenAI 告诉了他一件事。

OpenAI 的内部模型已经生成了一份大约 100 页的证明，声称可以证明 forced Navier–Stokes 出现 finite-time blow-up。

Buckmaster 马上警觉了。

因为 forced Navier–Stokes，恰好就是他们正在往前推的方向。

OpenAI 最初告诉他的版本是，这个结果基本由内部模型完成，只有「very little human input」。

Buckmaster 继续追问以后，事情开始变得复杂。

OpenAI 承认背后有一个团队参与，先让模型处理过 Euler 等更简单的问题，也尝试了很多条路线，用了非常大的算力。

然后 Buckmaster 问了一个最关键的问题。

OpenAI 是什么时候开始让模型做这个问题的？

按照 Buckmaster 的说法，OpenAI 最终告诉他，第一次相关 prompt 是最近几天才发出的。

而这个时间点，已经晚于 OpenAI 得知 Buckmaster 和 Alpöge 正在做这条研究路线。

事情到这里已经够敏感了，但还有更麻烦的一层。

Buckmaster 和 Alpöge 整个研究过程中，一直在 Codex 里放自己的草稿、推导和中间结果。

所以 Buckmaster 直接问 OpenAI：

你们的内部模型有没有访问过，或者训练过我们的私人 Codex 会话？

OpenAI 回答说，模型不会主动查询用户数据。

Buckmaster 又追问，那这些内容有没有被用于训练。

按照他的说法，这一次他没有得到明确回答。

目前没有任何证据可以证明 OpenAI 使用了两人的私人 Codex 内容，Buckmaster 本人也没有把这个推测说成事实。

但光是这个问题能够被合理地问出来，就已经很麻烦了。

之后双方又因为论文怎么发、谁署名吵了起来。

Buckmaster 指控 Sébastien Bubeck 两次提出把 Alpöge 排除在作者之外，其中一个理由就是 Alpöge 在 Anthropic 工作。

Buckmaster 不同意。

他还称，当自己表示如果 OpenAI 按这种方式发布，他会公开整件事时，对方回了一句：

“Why would you ruin your career?”

Bubeck 已经公开否认这些指控，称 Buckmaster 的说法「false and inflammatory」。

所以署名、威胁以及具体沟通过程，现在都还是双方各执一词。

至于 OpenAI 到底有没有真的解掉 Navier–Stokes，现在也完全不能下结论。

那份约 100 页的证明还没有公开，没有经过独立验证。

但很多转述里还有一个误区。

forced Navier–Stokes 并不意味着它和千禧年大奖无关。

Clay 官方给出的 Navier–Stokes 问题包含四种完成方式，其中 C、D 本来就允许 smooth forcing。

所以如果 OpenAI 那份证明真的成立，而且严格满足 Clay 的条件，它确实可能直接解决千禧年大奖问题。

现在最值得看的反而不是那 100 万美元。

以后科学家用 AI 做研究，最大的潜在竞争对手，可能就是自己正在使用的 AI 公司。

以前你把草稿存在电脑里，竞争对手碰不到。

现在一条没人知道的研究路线、几十次失败的尝试、刚刚跑通的关键推导，全都可能活在模型公司的服务器里。

而模型公司自己也有研究团队，也在冲同样的问题，还有普通研究者拿不到的模型和算力。

这时候把 AI 叫「科研工具」已经有点轻描淡写了。

如果工具公司自己也下场参赛，把未发表研究交给它，就有点像把交易策略交给一家同时做自营交易的券商。

Buckmaster 到底有没有被 OpenAI 抢跑，目前证据远远不够。

但这件事已经提前暴露了一个以后一定会反复出现的问题。

AI 时代最值钱的科研资产，可能不是最后那篇论文。

是论文发出来以前，那几个月只有你自己知道答案在哪里的时间。

[François Chollet @fchollet]

Terence Tao just posted this really insightful thread which seems to have been written in reaction to the Navier Stokes announcement. Please give it a read. https://t.co/SiuLLyp8jQ

[Hux @huxlab]

Sam Altman 对斯坦福学生说了一句很狠的话：

你已经不需要再写 prompt 了。

这段视频是他在斯坦福的内部分享，大概38分钟。

讲的不是基础用法，而是大多数人根本没用上的那一层。

看完之后你会发现，自己平时用 ChatGPT 的方式，大概只发挥了它15%的能力。

核心不是教你怎么写更好的提示词，而是：

如何让系统自己生成、优化、迭代提示词。

如何把 ChatGPT 从回答问题的工具变成帮你工作的系统。

很多人还在研究 prompt 工程，他已经在讲下一个阶段了。

视频值得完整看完。

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[liiil @snstoumeiningen]

@Zozohlwldyh 考东大吧哈哈

[liiil @snstoumeiningen]

我居然真的在申请yale 祝我好运哈哈

[David McNeill @DavidMcNeill3]

Japan’s minister in charge of harmoniously coexisting with foreigners seems to embody an increasingly xenophobic national mood. My piece with Karyn Nishimura. https://t.co/463bs95ZEy

[liiil @snstoumeiningen]

@utahtsi 相信自己

[H.E. Justin Sun 👨‍🚀 🌞 @justinsuntron]

https://t.co/nLMTwWr67Z

[liiil @snstoumeiningen]

@wakitadaze ありがとー

[liiil @snstoumeiningen]

@wakitadaze うん。受かった

[liiil @snstoumeiningen]

@wakitadaze 頑張れー

[liiil @snstoumeiningen]

@Zozohlwldyh 打游戏的澳洲的哥们

[liiil @snstoumeiningen]

@Zozohlwldyh 上次那个吗

[liiil @snstoumeiningen]

@utahtsi 怎么了

[liiil @snstoumeiningen]

@Zozohlwldyh 咋了

[liiil @snstoumeiningen]

劣币驱逐良币

[liiil @snstoumeiningen]

@jun656487901 Thank you！

[liiil @snstoumeiningen]

合了😭东大我来了

[liiil @snstoumeiningen]

啊啊啊啊啊东京大学😭