AI在纳维-斯托克斯方程研究中取得进展

近期，人工智能在解决数学界著名的纳维-斯托克斯（Navier-Stokes）方程问题上引发广泛关注。该方程被用于模拟流体流动，包括飞机机翼设计、动脉血流模拟及太空火箭构建。由于该问题被克雷数学研究所列为七个千禧年大奖难题之一，完整解决方案可获得100万美元奖金。

据报道，OpenAI的内部AI模型在几天内生成了一份约100页的证明。OpenAI声称其推理AI已为该方程提供了证明。然而，该证明尚未公开，部分数学家对OpenAI得出此结果的方式提出了质疑。

学术突破与归属争议

在相关研究领域，纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge在AI的“极大帮助”下，针对多个流体方程在平滑强迫下的有限时间爆破（finite-time blow-up）发布了经Lean验证的证明。这一进展获得了菲尔兹奖得主陶哲轩（Terence Tao）的赞赏。部分研究人员认为，这种方法可能在未来引导出完整解决方案，且目前的成果可能足以让两人获得千禧年大奖。

然而，围绕研究成果的归属问题，相关人员在社交平台X上产生了争论。Buckmaster在声明中指控OpenAI（包括科学家Sebastien Bubeck）在成果发布期间向其施压，具体包括要求将Alpöge从作者名单中剔除，并就OpenAI声称的纳维-斯托克斯结果的公布方式提出交易方案。

各方回应与后续影响

针对上述指控，Sebastien Bubeck公开回应称这些指控是“虚假的且具有煽动性的”，并表示将在次日提供更多说明。OpenAI的Noam Brown随后也对Bubeck的帖子进行了回复。

数学家Tristan Buckmaster将此次AI在数学领域的进展比作“深蓝击败卡斯帕罗夫时刻”，认为这标志着人类最古老的智力学科发生了存在主义式的转变。他主张学术界需要就未来的发展方向进行严肃且不匆忙的讨论。