166 页的顶级数学难题论文，机器只写了两天

166 页的顶级数学难题论文，机器只写了两天。 加州理工学院的计算生物学与数学教授帕赫特，在社交平台上问了一个让所有人后背发凉的问题： 到底有没有哪怕一个人，真正把它读完过？ 这是关于三维纳维·斯托克斯方程的奇异性证明。 千禧年七大数学难题之一。 为了证明这些流体方程在有限时间内会不会爆破，人类顶尖学者在泥潭里跋涉了一百多年。 怀尔斯证明费马大定理，在阁楼里与世隔绝了七年。 佩雷尔曼解开庞加莱猜想，在森林里默默推导了八年。 可是在 2026 年 9 月，OpenAI 拿出的这篇 166 页长篇巨著，从决定动工到成稿，只用了一周。 他们怎么做到的？ 调集大约一万个 AI 智能体，在后台全天候并行狂奔。 在短短 88 个小时里，这群机器互相发送了 270 万条信息，吞吐了 1300 亿个输出代币。 它们像重型冲压机锻造钢板一样，把人类几十年没啃下来的复杂数学推导，硬生生砸了出来。 写完之后，论文直接被送进形式化证明软件 Lean。 机器自己审查机器，17 个小时全部跑通，一行错误都没有。 这听起来像是一场无与伦比的技术奇迹。 为什么整个数学共同体非但没有狂喜，反而陷入了刺骨的寒意？ 因为这台冲压机在轰鸣中，撞碎了现代科学赖以生存的一根承重梁：同行评议。 机器生成 166 页前沿推导，只需要 48 个小时。 可人类大脑消化这 166 页充满新型构造的数学逻辑，依然需要一年甚至更久。 全世界能完全看懂这个具体流体构型的数学家，屈指可数。 甚至连这篇论文名义上的人类署名者，自己都没来得及把全文逐字推演一遍。 它是上万个智能体分工切块、自行粘合的产物。 科技公司给出的免责理由很充分：我们的形式化代码已经全绿了，机器保证它逻辑自洽。 可人类发展数学，目的难道只是一串通过了类型检查的二进制代码吗？ 数学要的是人类对宇宙规律的洞察，是那种豁然开朗的几何直觉，是搞懂流体到底在什么物理约束下走向失控。 当论证彻底变成只有编译器能核对的黑盒， 人类学者在自己的科学王冠面前，第一次沦为了看不懂卷宗的文盲。 这种生产与验证之间巨大的剪刀差，立刻引爆了更残酷的现实冲突。 纽约大学数学教授巴克马斯特团队，在类似的流体爆破问题上死磕了一整年。 他们把演算草稿喂给大模型做辅助计算，终于在 8 月中旬摸到了关键进展。 然而风声走漏不过几天，拥有庞大算力集群的大厂闻讯进场，直接用一万个智能体完成了学术截击。 菲尔兹奖得主陶哲轩随即发出了公开警告。 他把这种行为称为对科学公开难题的不可再生式开采。 几百年来的学术共同体，靠的是公开研讨、分享灵感、彼此信任的开放科学传统。 如果一名学者在黑板前熬秃了头想出的构想，只要稍有讨论，就会被巨头的算力洪流在几天内吸干、抢发； 以后还有谁敢在公开场合交流哪怕一个半成品的猜想？ 所有的实验室都会被迫关上大门，把自己的草稿死死锁进保险柜。 两百年前，数学家创造工具，是为了让人类看清深空里的群星。 如今，一台庞大到不可思议的机器以极快的速度呼啸而过， 它朝地面扔下一叠厚厚的证明，宣布自己已经攀上了顶峰。 站在地上的科学家们，却连它的影子都来不及看清。 这到底是人类科学的胜利， 还是这颗星球上人类智慧退居旁观席的开始？