OpenAI 公布流体难题证明，研究过程也受到追问

AI for Science / Agent · 9.5/10｜建议深挖

9 月 8 日，OpenAI 发布了 Navier–Stokes 方程的分析证明及 Lean 形式化材料。问题可以粗略理解为：描述流体运动的方程，会不会从平滑状态出发，在有限时间内出现速度无限增大的情形？这次公布的构造针对带有光滑外力的三维不可压缩流体。外力条件是理解结论的关键，不能省去以后，把它泛化成所有流体问题都已解决。证明论文

按 OpenAI 披露，成功的研究组使用了约一万个并发 Agent，以及一个仍在训练、能力强于公开版 Astra 的内部模型；过程中也有人类调整研究方向、分配资源和汇总线索。值得关注的是这种组织研究的方式：大量尝试可以同时展开，再把发现交给其他 Agent 使用。投入如此大的系统，究竟在哪一步带来了有效的新思路，比单看“用了几天”更有参考价值。OpenAI 的过程说明

另一份必须一起读的材料，来自纽约大学数学家 Tristan Buckmaster。他与 Levent Alpöge 的相关研究也使用了 Claude、Codex 等工具，但对发布压力、研究交流和人类贡献的描述提出异议。他在声明中同时明确，自己当时还没有看过 OpenAI 的证明，也不知道研究数据是否被使用，不能据此认定发生了数据窃取。这是研究者个人合作项目的声明，不宜写成 Anthropic 对 OpenAI 的正式指控。Buckmaster 声明

这条消息有两层后续值得追踪：数学材料是否经得住独立检查，研究过程能否得到充分说明。Lean 可以帮助检查形式化推导，但还要核对写进程序的定理、假设和所声称的问题是否一致。本期没有独立复核整套证明，也没有运行形式化代码，因此目前应称为“公布证明材料”，不把发布公告当成学界已经确认的结论。形式化代码库