9月8日，OpenAI随手甩出一份166页的答卷，宣称解掉了困扰数学界近百年的纳维-斯托克斯千禧年难题，这也是继庞加莱猜想后第二道被“解决”的千禧年大奖难题。新智元爱范儿中新网
最戏剧性的不是它解出来了，而是解出来之后的7周里，全地球没人看得懂。
一台把“肝”外包出去的机器
一个未发布的内部模型，带着约1万个智能体互相轰了270万条消息，产出1300亿token，88小时交卷，随后GPT-6 Astra又花17小时把证明翻译成Lean机器语言逐行检查。这份作业光算力账单就以百万美元计。新智元
Nature旗下《通讯-物理》10月14日的社论标题相当损——“方程爆炸了，飞机照飞”，内容更扎心：专家们基本相信它是对的，但还没人真正理解它。新智元
7周后，批卷才刚起步
10月26日，湍流专家、纽约大学库朗研究所教授Scott Armstrong发长推：几组偏微分方程专家已经基本读懂AI的思路。他的原话值得品：“它也许超出了人类原本能想到的范围，但没有超出人类的理解。”9月下旬复旦雷震团队已发讲解预印本，把原稿最难的部分逐段重写了一遍：AI交草稿，人类开始给它写教辅。新智元
这三点最容易被传岔
①通关千禧难题了？没有。克雷研究所列了四种命题，证出任一个才算通关；OpenAI宣称完成的是允许平滑外力的两种，新分析认为这套构造推不到无外力情形。克雷官网至今把它标为Active，OpenAI自己说不打算领100万美元奖金。新智元
②证明被推翻了？更没有。10月6日一份预印本指出，文字原稿和Lean版本的陈述对不上——机器验过的可能是“翻译”时改了原意的那一版：“机器验证通过”不等于“题目没抄错”。新智元
③AI只是背训练文献？先回答：材料都在文献里，这条路人类为什么没走过？它的路子最像人类的“凸积分”，但人是手工搭振荡，AI是让水自己搅自己——用流体不稳定性自发长出波动，把中心漩涡越缩越紧、速度冲向无穷，而总动能始终有限。个别想法1983年文献就有，但这么组合“绝对疯狂”，Armstrong没听说有人这么干。新智元
下半场，考的反而是人类
从88小时到7周，人类消化这份证明的速度，成了新的瓶颈。有网友自嘲：“AI给的内容，得让AI浓缩成一小段才能看懂。”数学家面前还摆着三份作业：写一份完整好读的讲解、逐条核查对照、把方法提炼出来用到别的问题上。新智元
9月11日，陶哲轩等25位菲尔兹奖得主联名发表《人工智能在数学中的严重错位》，警示AI拿著名数学难题当跑分基准。10月6日，OpenAI又晒出722份数学手稿、372组结果。对错先放在一边，有个事实已经立住：知识生产开始跑在人类理解的前面。当AI想得比人快，科学接下来走多快，就看人类读得有多快了。中国新闻网中国新闻网
