2026年9月8日，OpenAI 正式公布了针对纳维-斯托克斯千禧难题的数学研究成果。截至11月中旬，这道题仍停在“半场”：克雷数学研究所9月11日的公告只写到“apparently settled”，强调评价与认定是一个不仓促的过程，既没有正式颁奖，也没有推翻结论。从“AI 解完所有千禧难题”倒推，缺的不是模型能力，而是四道关：这道题的另一半、人类消化答案的速度、共同体的署名与认定规则，以及剩下几道题完全不同的性质。知乎知乎
第一道关：纳维-斯托克斯，OpenAI 只答了“有外力”的那一半
千禧难题的官方表述其实有两种。OpenAI 公布的是构造有限时间奇点的结果，对应 Clay 官方问题中的 C、D 两种替代命题：在足够光滑的外力作用下，从静止和有限能量状态出发，解在有限时间内失去光滑性。也就是说，最经典的无外力版本依然开着，“所有纳维-斯托克斯问题都被 AI 解决”是不成立的读法；OpenAI 论文的说法是，这项证明解决了正式表述中的 C、D 两个情形，并同步公布了论文和 Lean 形式化文件。知乎知乎
进入11月，“反转”修正的正是这份成果的归属叙事。最初的方法描述被认为延续了西班牙数学家 Córdoba 与 Martínez-Zoroa 的路线，《科学美国人》采访的多个研究组分析细节后认为，最终构造外力的方法与这一路线并不相同——校正的是研究路径，而不是判定证明为假。知乎
更棘手的是“翻译”问题。研究者 Bastounis、Circelli 和 Hansen 在10月的批评指出，Lean 可以检查形式化命题在指定编码和逻辑环境中是否成立，却不会自动保证自然语言原稿与形式化命题完全一致——机器编译通过，不等于证明了论文声称的那件事。知乎
第二道关：机器生产答案的速度，人类消化不起
生成侧的工程规模已经公开：约一万个智能体用88小时写完166页论文，交换270万条消息、生成约1300亿Token，再由 GPT-6 Astra 花17小时把证明翻译成 Lean 交给机器逐行检查。知乎36氪
另一侧是另一个量级的速度：论文公布近7周后，几组偏微分方程专家才基本读懂它的思路。36氪
《通讯-物理》社论的说法更直白：专家们相信它是对的，但还没人真正理解它。复旦数学家雷震的团队则在9月下旬发了解读预印本，把原稿中构造流动轮廓的部分重写成同行能读的版本。36氪
库朗研究所教授 Armstrong 的判断是：它也许超出了人类原本能想到的范围，但没有超出人类的理解。看懂思路和确认全对，是两件事。36氪
速度差在10月6日的批量事件里更直观：OpenAI 一夜放出数百份AI生成的数学证明，各家口径分别是722篇手稿归为372组结果、372项、377个新证明——量级一致，都是数百。知乎
机器检验的覆盖率有争议：按仓库自己的说明只有约42%做了 Lean 形式化，有数学家重新统计认为落在24%到36%之间；加州理工教授倪忆点出，整批论文只有一篇在发布前经过人类验证。知乎
第二天，一篇代数几何论文被发现一处承重符号错误，连带两篇借用它的论文一起撤回，手稿从722篇降到719篇——发现错误的，是网友拿着 OpenAI 自己的模型跑出来的。知乎
陶哲轩的提醒还在前头：Lean 本身已被发现可被利用的漏洞，AI 可能不再老实解题，而是构造假证明去蒙混机器验证。照这个速度解完全部千禧难题，先得有一套跟得上生成速度的核验与解读基础设施。36氪
第三道关：署名、优先权与认定，规则还没重建
9月11日，25位菲尔兹奖得主联名发表公开信《人工智能在数学领域的严重错位》，批评 AI 公司把解决数学问题当作衡量模型能力的基准，警告大规模生产“真/假”命题可能摧毁孕育新思想的土壤，并点名仓促公布留下的论述、提炼与归属欠账。陶哲轩把那种不加区分的批量自动解题比作挖掘机盗掘考古遗址：宝物挖出来了，赋予宝物意义的土层毁了。知乎知乎
组织化的反制也在跟进。九月底，数学家紧急成立了「数学与人工智能咨询组」（AGMAI）立规矩。到10月，人类数学协会已有全球1008位成员，其中654人加入“无AI研究小组”，承诺不发表AI生成的论文、不与前沿实验室合作、不在研究中使用AI。知乎36氪
争议直接落在了千禧难题的优先权上。纽约大学的 Buckmaster 与 Anthropic 的 Alpöge 称，在纳维-斯托克斯上取得进展后、成果公开前，相关信息已传到 OpenAI，后者随后用未发布的新一代模型启动并行攻关；Buckmaster 还指控 OpenAI 数学家施压他删除合作者署名。知乎
Brockman 的回应是，用于最终解题的模型训练数据停留在当年7月初，OpenAI 绝不会窥探私有数据；这组指控至今没有独立结论，OpenAI 还因数学界的联名抵制撤回了加州理工首届 Mathathon 的赞助与支持。共同体内部也并非铁板一块：菲尔兹奖得主高尔斯明确拒绝签署那封公开信，他担心信会被读成只有“概念理解优先”才是正确态度，把数学界推向阵营对立。知乎知乎
第四道关：剩下的难题，未必是同一类问题
截至11月12日，七道题中庞加莱猜想已由佩雷尔曼解决，纳维-斯托克斯的 C、D 表述处于“看起来已解决、待人工核验”的中间态，还没有第二道被官宣解决：Brockman 9月中旬承认在另一道千禧难题上取得了重大进展，外界猜测指向霍奇或 BSD；10月6日的批量稿件里则出现四维 Kakeya 猜想的解决和朝黎曼猜想方向的实质进展——这些都是进展宣称，与“解决并通过认定”之间还隔着第三关和第四关。知乎知乎
纳维-斯托克斯之所以最先倒下，是因为它对这套打法友好：AI 没有发明新工具，只是用凸积分一类人类旧工具，走出了一条没人走过的路。P对NP 属于下界证明，一旦真的解决，其颠覆性将远超流体力学，直接动摇 RSA、椭圆曲线撑起的安全大厦；杨-米尔斯需要先有严格公理化框架；黎曼和 BSD 赌的是关于素数与有理点的新概念——这些都不是“搜索旧工具组合”能覆盖的任务。36氪知乎
陶哲轩的区分在这里最要紧：数学很大一面是解答问题，恰好适合AI；另一面关乎理解，还没有被触及。36氪
他说过，不想要一份长达1000页、却不能带来任何洞见的证明——对剩下的几道题，“搜出来”和“解完”正是这个区别。36氪
成本与传言也要分开看。Altman 10月底披露，仅纳维-斯托克斯这项研究就投入约1000万美元，参与攻关的上万个智能体“没有层级，没有老板”，他还赌到2027年9月能以约百分之一的成本重做同样的工作。至于传闻中那个12万亿参数的“Bel”模型，与官方口径对不上，只是把几个光环缝进同一个故事。如果 Altman 的成本赌注兑现，剩下几道“旧工具可组合”的题会被逐个冲击；但前两道关靠时间推进，后两道关取决于人——这就是当下能划出的真实距离。知乎知乎
