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