徽声在线9月9日讯（编辑 晨曦）近日，科技领域迎来一则震撼消息：OpenAI于周二对外宣称，借助约10000个AI智能体的协同运作，仅耗时88小时，便成功攻克了数学界著名的七大千禧年难题之一——纳维 - 斯托克斯方程（N - S方程）的存在性与光滑性问题。

OpenAI宣称破解千禧年难题

回溯到2000年，数学领域中七个最为深奥、复杂的未解难题被正式列为“千禧年大奖难题”（Millennium Prize Problems）。自那时起，全球顶尖的数学精英们纷纷投身其中，向这些数学领域的巅峰难题以及单项高达100万美元的悬赏发起挑战。这些难题犹如数学皇冠上的璀璨明珠，吸引着无数人为之奋斗。

然而，尽管无数顶尖学者前赴后继、全力以赴，此前也仅仅只有一道千禧年难题被人类艰难攻克。这一现状充分彰显了这些难题的难度之高，也让后续的攻克之路充满艰辛。

如今，OpenAI宣布成功找到了第二道千禧年难题的解法。而这一具有里程碑意义的成果，竟然出自AI之手……

这家在全球AI领域处于领先地位的初创公司于周二证实，其内部一款尚未公开的模型成功破译了“纳维 - 斯托克斯方程的存在性与光滑性”问题。这一问题自1934年提出以来，一直悬而未决，是揭示液体与气体运动本质规律的核心底层理论难题。

近一个世纪以来，无数数学家为之苦苦探索：描述三维流体运动的方程组，其光滑解是否能够始终保持光滑，还是会最终走向崩解？用更通俗易懂的话来说，就是在理论计算中，水是否会发生“爆炸”现象？

OpenAI给出的答案令人惊讶：真的会爆。

OpenAI宣称已成功获得第二道千禧年难题的解法

OpenAI表示，其模型成功定位了一种极限场景，即“初始处于静止状态的平滑流体，能够在有限时间内形成奇异点”。在证明过程中，出现了一个呈意面状的漩涡，它一边剧烈收缩，一边急剧加速，其转速无限飙升，最终触发了数学界所谓的“有限时间爆破”（finite - time blowup）。

OpenAI称，这份证明成功攻克了千禧年大奖所设难题中四项证明命题的C、D两种情况，这意味着N - S方程难题就此得到解决。

1万个AI智能体耗时88小时完成攻关

OpenAI将这一发现视为“里程碑”，认为这是AI工具快速进步的有力证明。

不过，截至目前，OpenAI的解决方案尚未经过独立验证，也未获得克雷数学研究所（Clay Mathematics Institute）的公开认可。该研究所是一家总部位于美国的数学组织，负责运营“千禧年大奖”。

OpenAI透露，8月底，他们开始训练一款新模型，这款模型很快就展现出了卓越的数学能力。尽管OpenAI的上述新模型目前仅作为公司内部工具使用，但由于其能力“远超”该公司发布的最新AI模型（GPT - 6 Astra），其研究人员决定将其应用于某些备受瞩目的高阶数学难题。

OpenAI承认，在上周二（9月1日），他们“听闻有传言称有两道千禧年大奖难题已被解决”（传闻是由Anthropic的Claude模型破解），因此决定加快步伐，调动数千个基于该新内部模型训练的AI机器人，尝试解决剩余的六个未解的千禧年大奖难题。

最初，研究人员仍以为结果会和以往一样，每当他们将模型对准极难攻克的黎曼猜想、P/NP问题（P vs. NP problem）和纳维 - 斯托克斯方程等难题时，最终都无功而返。“我们没指望它能解出任何一道题，”OpenAI研究员Noam Brown回忆当时的情况时坦言。

但在经过约50个小时的工作后，“奇迹”出现了，AI在与纳维 - 斯托克斯相关的问题上取得了足够的进展，促使OpenAI研究人员介入。他们经过权衡，决定让AI智能体撤离其他五道难题，将所有算力全部倾注于这道题上。

到了9月5日，也就是在部署10000个AI智能体执行该任务约88小时后，OpenAI最终找到了所谓“纳维 - 斯托克斯方程存在性与光滑性问题”的解。

据悉，为了攻克纳维 - 斯托克斯难题，这10000个AI智能体互相发送了270万条消息，消耗了1300亿个输出Token，大致相当于100万本书的文本量。

若按照OpenAI最先进模型的对外算力定价换算，这项浩大工程的算力成本约达1000万美元。

AI的进步速度令人惊叹

曾几何时，最先进的AI模型连基础算术都频频出错；而短短几年间，它们已能在国际数学奥林匹克竞赛中斩获银牌乃至金牌；到了今年，它们更是开始接连攻克重大开放性学术难题。

这种指数级的进化不仅让外界感到震撼，更让前沿实验室内部的研究人员感到震惊，甚至产生了一丝担忧。

“哪怕是在一个月前，恐怕也没人能预见到我们今天会在这里探讨千禧年大奖难题的攻克，”OpenAI首席科学家Jakub Pachocki表示，“这极其直观地展现了AI已经进化到了何等高度，以及它的进化速度有多么恐怖。”

近几个月来，各大AI巨头纷纷通过展示其模型在组合几何学和代数数论领域的突破来展示实力，把原本极客风十足的硬核数学硬生生变成了公关营销的“战场”。然而即便跨越了这些技术梯级，外界依然普遍认为，前沿实验室要想完成解决千禧年大奖难题这种终极飞跃，短期内几乎是不可能的。

而这项最新突破，正是由一款尚未公开发布、充满“神秘”色彩的模型缔造。OpenAI称该模型比上周刚刚发布的GPT - 6 Astra“强大得多”。Astra在这项里程碑突破中，甚至只起到了事后回溯验证的作用。

这项最新突破，正是由OpenAI一款尚未公开发布的“神秘”模型缔造

“不可否认，这一刻具有里程碑式的象征意义，它是技术演进史上一连串必然突破中的又一高光时刻，”菲尔兹奖得主、尚未审阅该论文的数学家Timothy Gowers感叹道。

目前，OpenAI已表态称并不打算领取破解千禧年难题后可获得的100万美元奖金。“我们公布这一成果的初衷，旨在展现我们AI模型所取得的实质性飞跃，”该公司表示，“我们无意申领千禧年大奖。”

“抄袭”争议随之而来

不过，值得一提的是，OpenAI的这份声明在发布后不久，便在数学界引发了一轮涉及学术“抄袭”的争议。

纽约大学数学教授Tristan Buckmaster周二表示，他和在Anthropic工作的数学家Levent Alpöge，也一直在致力于解决该问题。

这对研究伙伴在工作流程中使用了OpenAI的Codex工具。据Buckmaster透露，他在9月3日察觉到“关于他们研究进展的信息已被悄然透给了OpenAI”。

Buckmaster的声明发布于周二同一天。他公开质疑OpenAI的研发动机，直言OpenAI是在“获取了我们研究工作的风声之后”才仓促上马该项目的。他还在声明中附上了与OpenAI的往来邮件记录，明确指出对其时间节点和研发手段的怀疑。

Buckmaster补充道，虽然自己尚未读完OpenAI完整的证明文本，但觉得有责任站出来公开“自己听到了什么、在何时获悉、以及对方提出了什么建议……因为听之任之，就等于纵容一连串公关声明去捏造我明知虚假的事实。”

OpenAI则在周二向Buckmaster与Alpöge的“同行并行研究”表达了祝贺，并盛赞其工作“卓越非凡”。该公司坚称，在两人公开成果之前，OpenAI“未通过任何渠道接触过其研究细节”，且在推进纳维 - 斯托克斯问题时绝未调取过任何用户隐私数据。

“尽管概率微乎其微，但我们无法完全排除：衍生自他们使用我方产品过程中的去标识化数据，可能间接促进了我们模型的迭代升级，”该公司补充道，“然而，双方的证明路线存在本质差异，最终推导出的具体结论也截然不同。”

（徽声在线 晨曦）