OpenAI宣称AI攻克千禧年数学难题纳维-斯托克斯方程

事件：美东时间9月8日，OpenAI宣布其研究团队得出了流体最常用数学模型——纳维-斯托克斯方程的求解结果，证明该方程在特定条件下会出现解失效（有限时间内速度趋于无穷大）。这是美国克莱数学研究所2000年公布的七大千禧年大奖难题之一，正确解题者可获100万美元奖金。

研究过程：OpenAI调用约1万个并发AI智能体，累计产生约270万条消息和约1300亿输出token，持续运算88小时完成证明。研究团队先以1000个智能体、50小时完成问题简化求解，随后加大资源投入挑战完整方程。

核心发现：证明表明，存在一类初始状态完全正常的流体，在纳维-斯托克斯方程推演下会在有限时间内达到无穷大速度。由于现实世界的流体不可能出现该物理现象，这意味着在特定条件下这套方程或许无法真实可靠地反映物理现实。

学界反应：数学家Tristan Buckmaster公开质疑该结论仓促，认为实际解决的是Euler方程奇点问题。哈佛大学Levent Alpoge与Buckmaster此前借助Anthropic的Claude及OpenAI的Codex、Astra模型部分求解了简化条件版本。结论仍待全球数学界严格复核。

AICOR 点评：无论最终是否被数学界完全认可，这次尝试本身已具有里程碑意义——AI从帮你查文献、写代码走到了自己寻找此前不存在的证明路径。1万个智能体协同88小时，这不是计算量的胜利，而是AI for Science方法论的胜利。MIT研究者的话很有代表性：我可以同时让多个agent处理不同问题，把时间花在更高层的工作上。科学家终于可以把时间用来提问题，而不是调参数。