一场围绕AI数学证明的连续剧，又迎来了新的一集反转。据《科学美国人》10月14日报道，多位数学家在逐行研读OpenAI那份166页的纳维-斯托克斯方程证明后一致发现：这份证明根本没有走OpenAI发布时反复宣称的「西班牙路线」，而是采用了完全不同的构造外力的方法——甚至连OpenAI自己，也没能完全理解自家模型是如何得出这个证明的。
先把事件的前情复述完整。纳维-斯托克斯方程描述水、空气等流体的运动规律，其「存在性与光滑性」问题是克雷数学研究所悬赏100万美元的七大千禧年难题之一，核心追问是：三维流体在运动中会一直保持平滑，还是可能在有限时间内出现速度或涡旋无限大的「奇点」。9月8日，OpenAI宣布其未公开的内部模型调动约一万个智能体、耗时88小时，生成了这一难题的证明手稿，并经Lean形式化验证系统核验；OpenAI同时明确表示不会申领克雷研究所的奖金。
争议几乎同步爆发。纽约大学柯朗数学科学研究所教授特里斯坦·布克马斯特指出，他与一名Anthropic研究员此前在相近方向已有成果，质疑该证明的原创性；当时包括OpenAI自己在内，各方都认为这份证明沿用了两名西班牙数学家提出的研究路线。9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主及数学家联署公开信，呼吁建立AI生成数学证明的核验与署名规范。此后学界持续「啃」这份证明，才有了本次的反转：证明的实际技术路径与OpenAI的宣传口径并不一致。
这次反转把问题的性质推向了更深处。Lean验证通过，意味着证明的逻辑链条无懈可击——这是「对不对」的层面；但「怎么来的」这一层面出现了断裂：模型走了一条连其创造者都未曾预料的路径，而人类数学家需要数周研读才能确认这一点。数学 proofs 的价值从来不止于结论成立，更在于可理解、可传播、可启发后续研究；一份人类看不懂但机器验证为真的166页证明，对数学知识的传承究竟意味着什么，学界尚无答案。
对AI产业而言，这条连续剧揭示的是前沿模型在超长程科学推理上的真实水位：能力上，它确实能走通人类顶尖专家尚未走通的推理链条；透明度上，它的「思维过程」对人类近乎黑箱。两者叠加出的图景是——AI不是在做「人类数学的加速器」，而是在生成人类需要重新学习才能理解的新数学。
需要说明的是，证明的完整评估以数学社群的后续同行评议为准；该成果也尚未经过克雷数学研究所的正式认定程序。这场争议的最终走向，很可能决定未来十年「机器数学」与「人类数学」的相处规则：AI产出的证明，究竟该以谁的语法书写。