OpenAI声称解决纳维-斯托克斯方程：突破还是争议？

近日，AI科普频道Two Minute Papers发布了一则引发广泛关注的视频，声称OpenAI利用一套比其公开产品更强大的AI系统，很可能解决了困扰数学界百余年的纳维-斯托克斯方程（Navier-Stokes）存在性与光滑性问题——这是克雷数学研究所悬赏百万美元的七大"千禧年难题"之一。视频作者Károly Zsolnai-Fehér本人曾在该领域进行过数年研究并撰写论文，他在视频中坦言："我没想到有生之年能看到这个问题被解决，而现在它很可能真的被解决了，我坐在这里简直难以置信。"

不过，这一"历史性突破"也伴随着不小的争议。本文将梳理纳维-斯托克斯方程的技术背景、OpenAI的解法方向，以及围绕它的数据伦理讨论。

纳维-斯托克斯方程到底是什么

纳维-斯托克斯方程是描述流体运动的基本偏微分方程。河流的湍流、烟雾的扩散看似复杂到令人绝望，但这一切其实可以归结为三个核心项来理解。

对流（Advection）——如果你把一个物体丢进河里，它会随水流漂走，这就是对流。麻烦的是，流体自身也会"对流自己"，这一项在方程中由方向导数描述，是流体模拟的核心难点。

压力（Pressure）——类似于公交车上的拥挤人群，密度高的区域相互推挤，产生向外的运动趋势。

扩散（Diffusion）——差异会随时间被平均掉。往水里滴一滴墨水，起初位置清晰可见，几分钟后整杯水已经均匀染色，这就是扩散效应。

此外，流体还会响应外力（比如吹一口气就会运动），并受到不可压缩条件的约束——流体的体积随时间保持不变，不会凭空产生或消失。将这些方程离散化到网格上，就能编写模拟真实世界的计算机程序，广泛应用于液体模拟、飞行器风洞测试等工程场景。

待解的核心问题：数学会崩溃吗

那么，这道价值百万美元的千禧年难题究竟在问什么？

核心问题是：如果从一个光滑的初始流动状态出发，让纳维-斯托克斯方程永远运行下去，方程的解是否能保证始终"表现良好"、保持光滑？还是会在有限时间内出现无穷大等病态行为？

据视频介绍，OpenAI给出的答案是：会崩溃。纳维-斯托克斯方程并不保证解永远表现良好。

具体来说，OpenAI的解法从静止状态出发，使用精心构造的外力，制造出一个不断向内旋转的涡旋。这个涡旋会被持续拉伸，其速度在有限时间内无界增长（velocity grows without bound），而系统的总能量却保持有限。当这种情形发生时，方程的数学描述就会"崩溃"。

有意思的是，视频作者补充道：这种病态情形在自然界中并不会真实发生。一旦接近这种极限状态，分子层面的物理效应就会接管，此时纳维-斯托克斯方程本身已不再适用。作者也坦诚地强调自己"只是一个学生"，解读可能存在偏差，供观众参考判断。

三天半的突破与背后的争议

这次事件最令人震惊的细节之一是速度。OpenAI并非花费数年秘密攻关——据视频透露，这套AI模型仅用了大约三天半就找到了解法。

然而，争议也随之浮出水面。作为一名研究科学家，视频作者坦言这部分让他"很不舒服"，但必须如实告知观众。

据视频转述，此前有两位科学家在一个相关问题上取得了实质性进展。根据传奇数学家**陶哲轩（Terence Tao）**的评价，他们的工作已经推进到"很可能可以扩展去解决纳维-斯托克斯问题"的程度。而在听到相关传闻后，OpenAI启动了这套更强大的AI系统，最终给出了完整的解法。

这就引出了一个尖锐的伦理问题：AI是否"借用"了这些人类研究者的思路和数据？对此，OpenAI官方给出的回应只有一句话：

"虽然可能性不大，但我们无法排除，从他们使用我们产品中获得的数据帮助改进了我们的模型。"

换言之，用户在聊天框中输入的内容，都可能被用于训练专有AI模型。视频作者借此反复强调一个观点：如果你使用免费的、开放权重的AI系统在本地运行，这种情况就不会发生——你的提示词永远不会离开你自己的机器。

AI在数学领域为何进步如此之快

视频最后提出了一个值得深思的洞见：为什么AI在数学推理能力上的进步如此迅猛？

答案在于可验证性（verifiability）。

作者做了一个精彩的对比：如果让AI以你的风格写一篇文章，你需要亲自阅读并逐一判断质量——一小时或许能评估一百篇。但数学完全不同，数学证明是可以自动验证的。机器每小时可以检验上亿次，判断解是否正确。

"一小时一百次反馈 vs 一小时一亿次反馈"——这就是AI在数学领域加速突破的根本原因。这种可自动验证的特性，让AI的数学能力以惊人速度提升，并且几乎可以肯定还会变得更强。

作者进一步引用了诺贝尔奖得主、DeepMind创始人Demis Hassabis的观点：如果我们能把"治愈疾病"也转化为一个像数学证明一样可自动验证的问题，那么在未来十年内攻克更多疾病并非不可想象。当然，正因为AI能力增长如此迅猛，作者也呼吁社会各界在**AI安全与对齐（safety and alignment）**方面投入更多协调努力。

审慎乐观：突破仍需验证

无论OpenAI是否真正独立解决了纳维-斯托克斯方程的存在性与光滑性问题，这一事件都揭示了AI在数学推理领域的巨大潜力，同时也暴露了随之而来的数据伦理与知识产权问题。围绕数据来源、人类研究者贡献的争议，提醒我们在惊叹技术突破的同时，必须保持对透明度与学术归属权的审慎追问。

这仍然是一个需要独立数学界严格审查和同行评议的结果。但有一点已经清晰可见：AI正在以可验证性为杠杆，快速攻克那些曾被认为遥不可及的数学与科学高地。