AI 写 88 小时，人类读 7 周，数学家开始读懂 OpenAI 千禧难题证明

OpenAI 动用约一万个 AI 智能体耗时 88 小时完成了声称攻克纳维-斯托克斯千禧难题的 166 页证明，后续又用 17 小时将其翻译为 Lean 语言交由机器逐行检查，整体算力成本高昂。论文公布近七周后，相关领域的偏微分方程专家才逐步读懂其思路，该证明没有超出人类理解范围，核心创新是利用流体自身的不稳定性自发产生所需小波动，以此构造出满足题设苛刻要求的光滑外力，实现有限时间内的流体奇点，这套组合思路此前从未有人类提出过。目前已有国内数学家发布相关解读重写部分内容，也有研究者指出论文原稿与 Lean 形式化版本的部分陈述推导存在差异，尚未能完全确认证明的全部正确性。克雷研究所仍将该问题列为进行中状态，OpenAI 也表示不申领对应的百万美元奖金。后续人类还需完成完整易懂的讲解、逐条核查证明内容、提炼方法拓展应用三项工作，才能将这份 AI 产出的证明转化为可复用的学术知识。