数学突破与AI辅助证明

纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge近期发布了一系列关于流体动力学的突破性成果。两人在人工智能的“极大帮助”下，针对多个流体方程在平滑强迫下的有限时间爆破（finite-time blow-up）问题，提供了经Lean验证的证明。

这一进展被视为在解决著名的千禧年数学难题——Navier-Stokes方程方面迈出的三个重要步骤。Navier-Stokes方程在过去两个世纪中被用于模拟流体流动，应用领域涵盖飞机机翼设计、动脉血流建模及太空火箭制造。该方程在某些场景下会出现失效并输出无意义结果的情况，而解决该问题旨在确定这些方程是否与现实世界完全一致，或者其模拟的平滑度与湍流是否会与之产生偏差。克雷数学研究所将此列为六个剩余的千禧年问题之一，解决者可获得100万美元奖金。

上述工作得到了菲尔兹奖得主Terence Tao的赞赏。部分研究人员认为，这种方法随着时间的推移可能会导向最终的完整解决方案，且目前的成果可能已足以让两人获得100万美元的千禧年奖金。

关于贡献归属的争议

在学术突破的同时，关于成果归属的公开争论在Anthropic与OpenAI的研究人员之间展开。Tristan Buckmaster在随附声明中指控OpenAI（包括科学家Sebastien Bubeck）在成果发布期间向其施压。具体指控包括：OpenAI推动将Levent Alpöge从作者名单中剔除，并就一项由OpenAI主张的Navier-Stokes相关结果的发布方式提出交易方案。

针对上述指控，Sebastien Bubeck在公开回应中称这些指控是“虚假的且具有煽动性的”。随后，OpenAI的Noam Brown也对Bubeck的帖子进行了回复。