OpenAI宣布，其内部未公开的新模型（性能远超刚发布的GPT-6 Astra）成功解决了“纳维-斯托克斯存在性与光滑性问题”——这是克莱数学研究所2000年列出的七个“千禧年大奖难题”之一，已困扰数学界约90年。

怎么做出来的？OpenAI部署了约10000个AI智能体协同工作，从启动到得出证明大约用了88小时。随后又花了17小时完成Lean形式化验证，整个过程中AI智能体共消耗约1300亿输出Token。

纳维-斯托克斯方程是描述流体运动的核心数学模型，从天气预测、飞机设计到血液流动都依赖它。OpenAI的证明声称：一个初始光滑的静止流体，在受到光滑外力作用后，可能在有限时间内形成“奇点”——即流速无限增长，现有连续介质模型失效。

消息一出，争议也随之而来。纽约大学数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge前一天刚发布了相关流体方程的研究成果，Buckmaster质疑OpenAI是在听闻他们的进展后，才转向他们一直在探索的“外力驱动”方法。OpenAI否认了指控，称研究人员和AI智能体均未访问具体用户数据。

菲尔兹奖得主陶哲轩既肯定了成果，也发出了警告：如果AI能在人类几乎不参与的情况下解决最困难的问题，就可能削弱人类对数学的理解。“解决问题所需的努力往往很有启发性，它能教会你一些东西。就像去健身房，目标是把一个重量举一百次。现在，AI可以解决问题，却无法从中真正获得任何价值，就像有机器替你在健身房举重。”

数学研究的游戏规则，可能正在被改写。你怎么看？
#OpenAI攻克千禧年难题#Ai #OpenAI #AI #数学 #科技