AREX Feed Article
OpenAI 总裁 Greg Brockman 转引数学家评语：Navier–Stokes 论文「也许超出人类所能构想，但未超出人类理解」
北京时间 10 月 26 日清晨 6 时 23 分（UTC 10 月 25 日 22 时 23 分），OpenAI 联合创始人兼总裁 Greg Brockman 。他自己键入的文字只有一句，且整句包在引号里：「在技术层面，这篇论文令人难以置信，也许超出了人类所能构想出来的东西，但并未超出人类的理解范围」（原文 “On a technical level, the paper is unbelievable, maybe beyond what a human could have come up with but not beyond human understanding”）。没有评论，没有论文链接，没有图片。
平台数据显示，截至北京时间 26 日 8 时许（发稿前最后一次抓取），这条帖文已获得 45,836 次浏览、418 个点赞、40 条回复、24 次转发和 139 次收藏。被引用的帖文——比 Brockman 的帖文早 4 小时 41 分。在这位研究者的一条技术长评里，那句话说的是一篇他称作「the openAI paper」的流体方程论文。
图：Scientific American 10 月 22 日长篇回顾报道《The inside story behind OpenAI's million-dollar math proof》的题图。
一条只有 135 个字符的引用帖
抓取到的帖文数据显示，这是一个根帖而非回复，以引用（quote）方式转发了 Armstrong 的帖文；Brockman 自己键入的内容共 135 个字符（含首尾的弯引号），也就是说，整句话是被当作引语发出的，出处要等读者点开被引用的帖文才能看到。
发帖人的身份可以从其账号确认。简介为「President & Co-Founder @OpenAI」，注册于 2010 年 7 月，粉丝约 107.7 万；亦记载他是 OpenAI 的联合创始人兼总裁。
这条帖文本身没有说明「这篇论文」是哪一篇。答案在被引用的那条帖文里。
引语的出处：Scott Armstrong 的技术判读
Armstrong 的帖文发布于北京时间 26 日凌晨 1 时 42 分。他在开头写道，由于被「bluey」拉黑、无法在原先的讨论串里回复，他改以引用帖作答。截至发稿前抓取，这条帖文获得 62,800 次浏览、286 个点赞。
他的 写明自己是「CNRS DR at LJLL/Sorbonne and Math Prof at Courant/NYU」（法国国家科学研究中心 LJLL/索邦大学研究主任、纽约大学 Courant 研究所数学教授），研究方向为数学物理、概率论、分析/偏微分方程（PDE）；公开学术记录里也能查到他在分析方向与 Vicol 合著的。
对那篇论文，Armstrong 给出的技术判读包括（以下均为他的表述）：
- 「这个 openAI 构造与凸积分（convex integration）的关系，比与其他任何东西都大。」
- 机制上，凸积分里的振荡通常靠手工构造；而这篇论文「巧妙地制造了一个流体不稳定性，让流动自己产生振荡：振荡从背景剪切流中汲取能量而增长」，雷诺应力（Reynolds stress）随后成为「制造那个坍缩光滑涡的力」——「用物理不稳定性以这种方式制造应力，没有先例」。
- 他把这种做法与文献中已有构造对比：Albritton–Brué–Colombo 的非唯一性构造用一个不稳定涡把解分开，Córdoba–Martínez-Zoroa 的奇点靠应变跨尺度放大涡量；部分想法能在文献里找到（他举了 Leibovich–Stewartson 1983），但「这些想法被组合起来的方式绝对疯狂，此前文献里完全没有」。他也不知道此前有谁提出过，凸积分会在这类爆破解（blow-up）的构造中扮演角色。
帖子结尾，他补了一句「太长不读」版摘要：「任何说这个 OAI 结果不令人惊讶的人，都在瞎扯。」
「the openAI paper」：9 月 8 日的 Navier–Stokes 宣称
Armstrong 没有附论文链接，但他把对象写得足够具体。从他对受迫条件下爆破构造的描述、与 Córdoba–Martínez-Zoroa 工作的关系，以及时间线看，他所说的正是 9 月 8 日 OpenAI 宣称的那项结果。
据 （下文简称 SA）10 月 22 日的回顾报道，OpenAI 当天宣称其内部模型解决了克莱数学研究所七个「千禧年大奖难题」之一的 Navier–Stokes 问题——数学家长期怀疑这些描述流体运动的方程会允许流体「爆破」，即速度在有限时间内达到无穷；按克莱研究所的设题，用数学证明找到这样的缺陷即可获得 100 万美元奖金。报道同时指出，这一构造利用了设题文本中「可以用精细调校的外力搅动流体」留下的空间——西班牙数学家 Diego Córdoba 与 Luis Martínez-Zoroa 数年前指出的「漏洞」；OpenAI 的证明「构造出一个怪异而精确校准的力，诱使流体爆破」。SA 称，OpenAI 的智能体小队先在 Euler 方程（欧拉方程，即 Navier–Stokes 去掉黏性项的简化版本）上做出无外力的爆破证明，随后将全部资源转向 Navier–Stokes：10,000 个互相通信的智能体以该证明为起点解决了问题，据报道消耗约 1,500 万美元算力。SA 的结论是：模型「确实找到了正确答案」，且所走路径「与任何人——包括公司最顶尖的数学家——最初意识到的都不同」。这段梳理基于当事人公开陈述与文件，它报道的是过程，而非对证明本身作数学裁决。
围绕它的争议也未平息：纽约大学数学家 Tristan Buckmaster 公开指 OpenAI 似乎窃取了他与 Anthropic 研究员 Levent Alpöge 的工作，OpenAI 发言人向 SA 书面否认；据 SA 报道，OpenAI 首席科学家 Sébastien Bubeck 曾在 X 上表示，公司「整体上没有流体动力学的研究级专长」；SSRN 上则已出现题为《A Critical Analysis of OpenAI's Claimed Solution to the Navier–Stokes Millennium Prize Problem》的，讨论这类受迫构造实际证明了什么。
图：纽约大学 Warren Weaver Hall 109 教室连过道都站满了人——这是 Buckmaster 与 OpenAI 公开冲突后的首场公开讲座（Scientific American 配图，Joe Howlett、Jeffery DelViscio 摄）。
回复区里的追问：哪篇论文、谁验证过
Brockman 的回复区里，不少追问指向论文本身。 写道：「继续加油，顺便问一句，是哪篇论文？」 问得更直接：「谁检查过它？花了多久？」
也有人认出了出处。 问「这句引用出自谁」，并转述：「被引用帖里的 Armstrong 说，这个构造与凸积分的关系比与其他任何东西都大。」
更多议论集中在那半句「未超出人类理解」上。 写道：「『未超出人类理解』才是读者真正能亲自检查的那半句——得有人坐下来，一行一行跟着读。」这是回复区里点赞最高的回复之一。 只补了一个词：「暂时。」 的反应则是：这也许是「AI 用于科学的最好情形」。
引用这条帖文的人里也有人读出了另一层意思。 写道：技术能做出不可想象的东西，「但你需要一个人来告诉你某样东西有多大的价值」。
这些追问截至发稿没有等到 Brockman 的回答：他的帖文除那句引语外没有任何内容，而他的时间线上，这条引用帖仍是最新一条。
「多多少少看懂了」之后：验证仍在进行
Armstrong 那句话在原帖里还有下文。冒号后面紧接着的是：「有几个不同的 PDE 专家小组正在研读它，他们说他们现在多多少少看懂了。我预计解读很快会出来。」按他的转述，理解正在追上生成——不过这仍是他的一面之词，他没有点名是哪些小组。
据同一篇 SA 报道，这个社区正在「竞相逆向工程 LLM 的不透明逻辑」；而在 9 月 8 日之后，OpenAI 又向社区投放了数百项新数学结果，其中许多未经 Lean（一种把数学证明拆成微小步骤、并逐步验证每一步都成立的编程语言）验证。Buckmaster 今年 9 月 3 日给 OpenAI 的第一封邮件里则写下了另一个标准：「我强烈认为，任何人读到的第一样东西，应该是他们能够跟上、能够与之争辩的数学论证。」
不过，两条帖文都没有给出可点开的论文链接。想亲自检验「未超出人类理解」这半句的读者，眼下只能等待 Armstrong 预告的那批解读——用他的话说，「很快会出来」。