数学家解读OpenAI千禧难题证明：人类读懂思路，验证仍在继续

9 月 8 日，OpenAI 宣布攻克纳维－斯托克斯方程千禧难题，约一万个 AI 智能体在 88 小时内完成证明撰写与 Lean 语言翻译，整个过程耗时不足四天。

论文公布近七周后，人类数学家开始逐步理解其核心思路。10 月 26 日，法国国家科学研究中心主任 Scott Armstrong 指出，虽然证明可能超出常规思维，但仍在人类可理解的范畴内。

OpenAI 的突破在于利用流体自身的微小不稳定性‘造力’，使漩涡收缩而不依赖奇异外力，这一方法此前未见先例。

不过，确认思路清晰与验证推导正确尚存距离。10 月 6 日有研究指出原稿与 Lean 版本存在差异，克雷研究所仍将此问题列为进行中的研究项目，OpenAI 亦未领取百万美元奖金。

未来工作包括完善可读性解读、厘清机器验证范围，并探索无外力情形下的流体行为，这需要全新的理论突破。

该成果标志着 AI 从模仿到创造的新阶段，人类正通过传统数学工具与计算力量协作，共同拓展科学边界。