OpenAI耗资1500万美元攻克纳维-斯托克斯千年难题

OpenAI近日宣称，其旗下某款AI模型成功找到了数学界最著名的难题之一——纳维-斯托克斯问题（Navier-Stokes problem）的解法。该问题位列克雷数学研究所（Clay Mathematics Institute）公布的“千禧年大奖难题”（Millennium Prize Problems）名单，任何有效解答者都将获得100万美元奖金。这一消息在数学界和AI领域引发巨大震动，但其公布过程伴随着一场关于成果归属和透明度的争议。 纳维-斯托克斯方程描述了流体在空间中的运动规律，例如空气流过机翼或水从水龙头流出。尽管该方程在约200年前就已提出，但数学家对其理解始终有限。千禧年难题的核心在于：判断该方程是否在所有情况下都成立，还是存在某些场景下方程会失效并产生无意义的解，即数学家所称的“爆裂”（blow-ups）。OpenAI表示，其研究团队首先部署了1000个AI智能体（agent）去解决与纳维-斯托克斯问题密切相关的欧拉方程（Euler equations）问题，这些智能体在50小时内找到了欧拉方程中的“爆裂”现象。随后，团队将任务扩展至完整的纳维-斯托克斯问题，投入了10000个AI智能体，仅用11小时便完成了证明。OpenAI在新闻发布会上透露，若客户自行运行相同计算，成本约为1500万美元。公司未公开具体使用的AI模型名称，但表示其能力“远超”最新的GPT-6 Astra模型。 此次突破的背景值得关注。就在OpenAI官宣前数小时，纽约大学的Tristan Buckmaster与AI公司Anthropic的Levent Alpöge刚刚宣布，他们破解了被视为通往纳维-斯托克斯问题“垫脚石”的三个重要难题，并证明欧拉方程中确实存在“爆裂”现象。OpenAI随后宣布的成果则进一步表明，纳维-斯托克斯方程同样存在此类现象。然而，Buckmaster在个人网站发布声明称，当他就相关传闻向OpenAI求证时，对方的行为“异常且不透明”。他透露，在与OpenAI员工的会议中，对方未提供任何关于如何取得成果的具体细节，但仅有的信息让他感到“危险信号”——因为对方描述的技术路径与他本人及Alpöge此前采用的思路高度相似。Buckmaster还指出，OpenAI后来承认，其AI搜索工作是在听闻他和Alpöge的研究成果之后才启动的。这一争议使得这项数学突破的独立性和原创性受到质疑。 从行业影响来看，OpenAI的成果再次印证了AI在数学发现领域的惊人潜力。近几个月来，AI已接连攻克多个长期未解的数学难题：5月，OpenAI模型破解了Paul Erdős提出的数十年猜想；随后，Claude Fable 5 AI找到了雅可比猜想（Jacobian conjecture）的反例；上周，另一AI模型仅用11天便形式化了费马大定理。这些进展表明，AI正从辅助工具转变为数学研究的核心驱动力。对于跨境电商卖家而言，虽然纳维-斯托克斯方程的突破看似遥远，但AI在流体力学等基础科学上的加速突破，未来可能间接推动物流优化、商品设计仿真等应用场景的革新。而围绕成果归属的争议也提醒从业者，AI时代的研究伦理和透明度规则亟待建立。