166页的证明，摆出来的人讲不清它怎么来的，全世界的数学家正在用另一家的AI回读它——过去40天，OpenAI这场"AI攻克数学"大戏反转了两次。真正被炸掉的不是纳维-斯托克斯方程，而是"官宣等于理解"这件事本身。
对一直追OpenAI每次发布会、订着Plus/Pro、把模型竞赛当连续剧看到现在的兴趣用户，这不是八卦，是一道判断题："AI解决千禧年难题"这类新闻，你现在到底该信几成？我跨中英文信源把时间线排完，再替你把3个最误导的炒作点拆开。
先把40天时间线排一遍（每个节点都可回溯）
9月8日：OpenAI宣布模型证明了纳维-斯托克斯方程在允许外力条件下会发生"有限时间爆破"，附上166页证明加Lean形式化代码，背后是约1万个Agent协同。高管反复强调：证明沿用了两名西班牙数学家（Diego Córdoba和Luis Martínez-Zoroa）铺好的路线。随即引爆原创性争议——纽约大学Buckmaster和Anthropic员工Alpöge那条"平滑外力下爆破"的路线，发布时间就在前后脚。36氪
10月7日：OpenAI一次性放出722篇数学手稿、372组研究结果，覆盖霍奇猜想、准黎曼猜想、BSD猜想等硬问题。
10月9日：陶哲轩转发数学家联合抵制声明，"强烈敦促所有数学家停止与OpenAI合作"的说法在全网刷屏，数学圈和OpenAI公开翻脸；中文社区里"南大数学系毕业生考虑转行"这类视频也开始热门。微博
10月12日：MIT工程教育副院长Justin Solomon上彭博播客《OddLots》，对这份证明给出名场面式评价："大概是对的。"然后补了一句：翻开第二页就读不下去了。36氪
10月15日：《科学美国人》发追踪报道——多个专家团队把证明啃下来后确认：OpenAI构造外力的方式和所谓"西班牙路线"完全不同。OpenAI连自家模型用了什么方法都没搞清楚，就按"沿用西班牙路线"发了出去。EPFL数学家Cao-Labora也直言，深入研究细节之后，就会发现这是一种不同的方法。
炒作点一：“NS被解决了”——解决了的是哪道题？
先把口径钉死：AI证明的是克雷数学研究所官方题面里允许"平滑外力"的C、D类命题变体——构造出一种特殊的外力搅动方式，能让流体在有限时间内失控。而数学家真正惦记的无外力情形下解是否永远平滑的核心难题，至今仍未解决，百万美元悬赏也还没被克雷所官方认定兑现。微博评论区有条点赞83的硬核补充说得很准：OpenAI构造的是符合爆破情形的特解，不是通解，也没有证明爆破必然存在。36氪微博
一句话分辨："AI解决千禧年难题"是炒作；"AI在官方允许的弱化口径上完成了一步"是事实。
炒作点二：“大反转=证明错了”——反转的是归属，不是结论
这次《科学美国人》报道没有推翻证明本身，推翻的是"厂商对自己成果的叙述"。有专家推测，早期小规模Agent的中间结果确实可能沿西班牙路线，但系统扩到约1万个Agent后，自己换了一条路走完终点。真正被击穿的，是"谁发布的谁就懂"这个默认假设。至于模型是否从训练数据里接触过他人未发表研究，OpenAI公开否认，但外界无法独立核查——普林斯顿高等研究院的De Lellis对此的判断很干脆：这场争议恐怕永远得不到明确的事实性结论。36氪知乎
炒作点三：“Lean验证过了=人类确认了”——机验和读懂是两码事
Lean能逐步检查这份166页证明在形式逻辑上是否成立，但它不回答"这套方法为什么有效、和已有研究什么关系、能不能推广"。所以现在出现了整件事最反常识的一幕：数学家们要借助其他大语言模型，来读懂AI写的数学证明。 AI读AI，人类旁听。36氪
社区的分裂就卡在这个点上，几条高赞评论很代表性（赞数为微博实采）：
"如果顶尖的数学家都读不懂，那是谁来验证AI的结论呢？"这条评论拿了186赞。微博
“AI自己验证自己的证明吗？那和当年民科宣布证明哥德巴赫猜想有什么区别？”（124赞）
"AI只要随便胡诌一个环节，就足够浪费一堆科学家很久很久的审议时间。"这条评论46赞。
“很多数学难题的解开不是在于结果，而是在于过程，知其然不知其所以然。”（32赞）
反方声音同样在场：程序员从手敲代码到接受AI主导生成代码只用了几年，"抵制汽车"式的反应撑不了多久。而陶哲轩在加州理工Math2.0演讲里抛出的思想实验，把这场争论从数学圈直接推给了所有人：一台AI给出"Lean验证+现实中也通过三期临床"但全人类读不懂机制的抗癌配方——你敢不敢把它推进静脉？ 这次NS证明，等于把这个思想实验做成了新闻现场。36氪
你该带走的：读"AI重大突破"新闻的4步清单
对题目口径：宣称解决的是原题，还是官方题面允许的弱化版（加外力、特解、特殊情形）？这是今年下半年AI科学新闻里被混用得最多的一层。
对验证等级：过了Lean机验？过了独立人工复核？过了克雷所/期刊的正式程序？三档里目前NS只站在第一档。
对厂商表述打对折：本案证明，连厂商自己都会对自家模型的输出讲错。凡是"独家宣布+独家定性"的成果，方法来源要等外部复现才算数。
给批量成果留消化期：722篇手稿里相当一部分还没完成Lean形式化。瓶颈已经从"AI能不能产出"换成"人类读不读得完"——陶哲轩们反复强调的正是这个速度差。36氪
下一步盯什么信号
NS证明能否通过克雷数学研究所与期刊的正式核验流程——那才是"千禧年难题被解决"的唯一官方口径。
722篇手稿中完成Lean形式化+人工复核的比例。下一批的通过率，才是AI数学生产力的真实读数。
数学圈会不会真分裂：发声明的是一批人，但一边抵制一边用AI回读AI证明的人更多；圈内流传的"因为Alpöge在Anthropic所以OpenAI要求剔除署名"的说法目前只是未经证实的传闻，别当事实转。
OpenAI接下来是否公开证明的实际构造方法。厂商承认"没看懂"，才是这场反转里最贵的信息。
这篇内容真正的价值不在"AI又攻克了人类难题"，而在人类第一次公开看见：“它是对的"和"有人懂它”，从此是两件事。对OpenAI兴趣党来说，值得你继续付费追的下一场戏，不再是AI还能解出什么，而是人类怎么验证它——验证方式，目前没有模型能直接给出答案。
