{"id":"mb-20260909-e45da6","kind":"deep","title":"困扰人类两百年的千禧年数学难题，被一万个智能体用一百零五个小时攻破了","summary":"困扰人类两百年的千禧年数学难题，被一万个智能体用一百零五个小时攻破了","body":"困扰人类两百年的千禧年数学难题，被一万个智能体用一百零五个小时攻破了。\n但同一时间，全美年化经济增速却跌到了近乎停滞的 1.5%。\n前 OpenAI 研究员 Andrew Ho 在社交媒体上抛出了这句话，直接把硅谷最狂热的技术神话和华盛顿最冰冷的经济现实撞在了一起。\n很多人沉浸在技术飞升的狂喜里，却对眼前这个刺眼的矛盾视而不见。\n一个月前，这位前 OpenAI 核心成员甚至自掏腰包押上了二十万美元真金白银，跟伦敦政经学院的经济学家 Benjamin Moll 签下了一纸惊天赌局：\n在 2033 年之前，美国人均实际 GDP 绝对不可能在任何一年实现 15% 的爆发式增长。\n按照硅谷那些超级智能信徒的叙事，一旦大模型学会了自己做科研，人类经济就会迎来指数级腾飞，年化增长 15% 甚至翻倍只是时间问题。\n为什么一个亲手参与过顶级模型训练的内部研究员，反而敢押上全副身家跟狂热者对赌？\n如果大模型已经聪明到能顺手摘下数学界的世纪皇冠，为什么现实里的宏观经济时钟却几乎走不动？\n要看清这个撕裂，得先看懂千禧年难题到底是怎么被攻破的。\n克雷数学研究所设立的七大千禧年难题，每个悬赏一百万美元，是整部人类数学史最险峻的高峰。\n其中困扰人类两个世纪的纳维·斯托克斯方程，问的是一个极度深奥的问题：平滑流动的水流方程，会不会在有限时间内突然爆发出速度无限大的物理奇点？\nOpenAI 启动了一万个自主智能体。\n它们在强化学习策略驱动下，像一张巨大的立体搜索网，疯狂推演了 88 个小时。\n随后，它们又用交互式定理证明工具 Lean 进行了 17 个小时的形式化验证，最终交出了一份长达 165 页的数学证明。\n一百零五个小时，攻破人类两百年的智力壁垒。\n但这个神迹有一个致命的前提：它全程发生在一个纯粹的封闭符号世界里。\n在 Lean 编译器里，逻辑只有零和一，规则透明，对错分明。\n智能体每向前推导一步，编译器就在零点几秒内完成严密自查。\n推导自洽了就继续向下分叉，出现漏洞就立刻回滚重来。\n这里没有空气阻力，没有摩擦损耗，没有利益博弈，更不需要向环保署提交长达几千页的环境影响评估报告。\n一万个智能体就像运行在光速里的数字齿轮，每前进一步的边际验证成本几乎为零。\n只要算力管够，机器就能在几天之内，把人类顶尖数学家几十辈子的试错路径全部穷举一遍。\n但现实世界里的 GDP，从来不是靠在编译器里跑符号公式堆出来的。\n翻开美国经济分析局 BEA 刚刚公布的 2026 年第二季度账本，全美年化实际 GDP 增速从一季度的 2.1% 直接滑落到了 1.5%。\n整个国民经济超过 70% 的盘子，死死扎根在医疗、建筑、交通、能源、制造、物流和线下服务里。\n哪怕大模型把全美理论数学家和理论物理学家的智力产出提升了一万倍，这批人在全美三万亿美元的 GDP 大盘里，薪资总额占比连万分之几都不到。\n早在 1987 年，诺贝尔经济学奖得主罗伯特·索洛就留下过一句名言：\n你在哪里都能看到计算机时代，唯独在生产率统计数据里看不到。\n这就是著名的索洛生产率悖论。\n四十年过去了，历史在这个秋天重新上演。\n为什么技术飞升推不动实体经济？\n在宏观经济学里，答案被两台冰冷的机制锁死了：鲍莫尔成本病，以及奥尔森 O 型环瓶颈。\n诺贝尔奖得主诺德豪斯和麻省理工学院经济学家阿西莫格鲁早就做过精确的算术推演：\n一个复杂现代社会的整体生产率，从来不取决于跑得最快的那根长板，而是死死受制于最慢的那根短板。\n当数字符号、逻辑推理和代码生成的成本被模型压到趋近于零的时候，那些无法被自动化的物理环节，在总成本中的比重反而会以惊人的速度膨胀。\n阿西莫格鲁测算过，全美经济中真正能被纯文本和算法完全替代的工作，折算下来只占经济总价值的 4.6% 左右。\n剩下的绝大多数环节，全部被死死锚定在物理世界里。\n把纳维·斯托克斯方程的数学突破，真正折算成现实经济里的 1 个百分点增长，到底要跨过多少道门槛？\n流体力学的突破，理论上能造出阻力更小的超音速客机机翼、更节能的核潜艇外壳，或者更稳定的可控核聚变磁约束管道。\n走，带着这份 165 页的数学证明，去真实的物理世界里走一圈流程。\n你拿出了最完美的流体力学机翼设计，想把它装上波音的新客机。\n联邦航空局 FAA 的适航适飞认证，平均审核周期是 5 到 7 年。\n等不及飞机适航，你想建一座小型模块化核反应堆，给大模型的数据中心提供源源不断的清洁电力。\n核管理委员会 NRC 的安全审查加上国家环境政策法案 NEPA 的环评报告，光公文往来就要消耗 4 年半。\n退一步讲，就算图纸全都不用审批，你想立刻建一座能跑十万张显卡的吉瓦级超级算力中心。\n你必须去电网运营商那里排队申请通电。在全美最大的 PJM 电网互联队列里，现在的平均排队时间已经超过了 5 年。\n熬过了 5 年排队，核心电力设备又断货了。一台大型高压电力变压器的订货交付周期，已经从过去的 50 周一路飙升到了 120 周以上。\n到了这一步，好不容易把变压器和机房建好了，拉到造船厂或者工业组装车间，发现根本找不到足够多的熟练工。\n全美特种高压电工和高精度焊接工人的缺口高达数十万人，时薪涨了 30% 依然招不满人。\n这就是我们这个时代最荒谬的割裂。\n硅谷巨头和华尔街资本今年在人工智能算力上砸掉了两千多亿美元，在数据中心里以光速重演着人类文明最璀璨的智力火花。\n但在物理世界里，电网、变压器、高炉、水泥、审批印章以及人类工人的生理极限，依然被牛顿力学和行政程序死死卡在原先的转速上。\n智力可以在芯片里以指数级爆发。\n但只要物理世界的交付依然被死死按在以年为单位的排队周期里，再惊艳的千禧年数学证明，也无法瞬间化作流水线上的一台新发电机。\n前 OpenAI 研究员之所以敢押上二十万美元的真金白银，赌经济绝对不会出现 15% 的暴涨，恰恰是因为他深知这台机器的物理边界。\n数字世界里的光速计算再刺眼，也撞不开物理世界那堵由电网、法令、供应链和人力砌成的厚墙。\n当一万个智能体在屏幕里轻松攻破人类两百年的智力顶峰时，现实世界的宏观经济，依然只能按照水泥硬化的速度，一秒一秒往前走。","topic":"困扰人类两百年的千禧年数学难题，被一万个智能体用一百零五个小时攻破了","frame_type":["形式化验证闭环与物理交付瓶颈的脱钩（鲍莫尔成本病","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-09 09:28:12","legal_anchor_count":0,"transcript_citation_count":0}