一万个智能体狂奔八十八小时，号称攻破了悬赏百万美元的世纪数学难题

一万个智能体狂奔八十八小时，号称攻破了悬赏百万美元的世纪数学难题。 全球科技圈的狂欢还没持续半天，真正的数学界当场炸了锅。 菲尔兹奖得主陶哲轩公开站出来，给这场科技奇迹扣上了一顶极其刺眼的帽子： 野蛮的露天开采。 一个号称帮人类攻克科学圣杯的模型，为什么会把全世界最顶尖的数学家逼到当场发飙？

先看那个被传得神乎其神的千禧年大奖。 克莱数学研究所设下的七道难题，每一道都悬赏一百万美元。 纳维·斯托克斯方程是其中最著名的物理难题。 这个方程描述的是水流、气流和一切流体如何运动。 两百年里，全世界的科学家都在争论同一件事： 一池原本平缓流动的水，在没有任何外力剧烈搅拌的情况下，会不会在某一个瞬间突然失控，炸出一个速度无限大、压强无限大的数学奇点？ 要么你证明这种爆破永远不可能发生，流体永远平滑； 要么你构造出一个确凿的数学实例，证明它在有限时间内必然崩溃。 那一万个智能体交出来的答卷是什么？ 是一份长达一百六十六页的手稿，以及十七个小时跑出来的机器代码。 推导确实给出了一个有限时间内的爆破奇点。 但在方程的关键位置上，模型悄悄加上了一个极其微妙的前提： 光滑外力。 它证明的是在持续施加特定外部推力的情况下，流体会发生爆破。 有外力驱动的流体系统，和克莱研究所悬赏的纯粹自然流体，在数学原理上完全是两个物种。 这套耗费巨量算力堆出来的成果，根本没有跨过千禧年难题的原版门槛。 连主导实验的商业实验室自己都心知肚明。 他们在长篇战报的角落里悄悄留了一句话： 不打算向克莱数学研究所申请那一百万美元奖金。

既然连奖金都拿不到，他们为什么要调动上万个智能体，在八十八小时里拼死冲刺？ 这牵扯出了一场让学术界彻底震怒的抢跑风波。 纽约大学数学教授特里斯坦·布克马斯特，和研究员莱文特·阿尔珀格，在这个细分方向上已经坐了整整一年的冷板凳。 他们一直在研究带外力流体方程的爆破可能。 推导已经进入了收尾阶段。 两位学者甚至已经开始把证明逻辑一行一行写进交互式定理证明工具 Lean 里面，准备向学界公开发布。 结果就在这临门一脚的节骨眼上，学术圈里传出了风声。 这家拥有海量算力的商业实验室闻讯之后，没有遵循学术界等待同行评审的常规惯例。 他们启动了未发布的下一代模型，把一万个智能体同时砸进同一个赛道。 连续狂奔八十八个小时，赶在两位学者之前抢先发出了战报。 更让学者们感到后背发凉的，是数据背后的隐秘回旋镖。 在长达一年的研究过程中，这两位数学家为了编写验证代码，高频使用过该实验室旗下的代码助手 Codex。 顶尖学者在私密工作流里反复敲下的推导草稿与形式化片段，到底有没有变成巨头模型训练集里的养料？ 面对学术界毫不掩饰的质疑，商业实验室给出的回应耐人寻味： 他们否认直接调用了特定用户的提示词，但同时承认无法排除脱敏后的交互数据对模型推理能力产生的间接提升。 两个人类学者辛苦构思一年的心血路径，被他们自己付费使用的商业工具捕捉，再被上万个智能体的暴力算力在四天之内直接超车。

如果仅仅是同行抢跑，顶多算一场商业伦理丑闻。 真正让陶哲轩站出来严厉警告的，是这种科研模式对整个人类知识生态的致命破坏。 陶哲轩把这种行为定义为无差别自动化露天开采。 在大众眼里，数学难题似乎只是一场闯关游戏。 只要有人打通关底，拿出一张写满推导的卷子，人类的认知就胜利了。 但现代科学的演进逻辑完全不是这样。 两百年里，纳维·斯托克斯方程之所以被奉为皇冠上的明珠，价值从来不只在那一个孤立的是或者否。 为了尝试攻克它，几代数学家在半山腰上被迫发明了全新的几何分析方法、全新的偏微分方程工具。 这些工具后来变成了流体力学仿真的基石，支撑起了现代航空气动设计、气象卫星预测和核聚变托卡马克装置的等离子体控制。 攀登绝壁的过程，本身就是孵化跨学科基础工具的最肥沃土壤。 商业模型的算力冲刺，把这片土壤连根铲了起来。 一万个智能体在庞大的逻辑搜索空间里疯狂做排列组合、分支剪枝与代码碰撞。 它们不需要理解流体的物理本质，也不需要提出任何具备启发性的人类数学概念。 最后吐出来的，是一百六十六页充斥着海量繁复计算、没有任何美感与理论穿透力的机器手稿。 它就像一台开进原始森林的重型推土机。 为了摘下树冠顶端那颗可以拍照发通稿的果子，把整片山坡的植被连同生态系统彻底压平。 陶哲轩用了一个词来形容这种后果： 污染问题。 一旦一道著名的开放难题，被商业公司用这种人类无法消化的机器黑盒宣称搞定； 后续拨给基础数学研究的经费就会迅速收紧，年轻学者投身该领域的职业通道会被直接切断。 一个原本能持续滋养几代年轻大脑的伟大问题，就这样沦为了商业公司季度公关的耗材。

这场八十八小时的算力风暴，照出了人工智能与严肃科学之间最荒诞的错位。 商业科技巨头需要惊世骇俗的图腾，来向资本市场证明下一代模型的估值神话。 但真正的科学从不配合公关部门的狂欢节。 算力可以买来上万倍的搜索速度。 算力也可以在几天之内完成对人类学者成果的掠夺性冲刺。 如果一项所谓的重大突破，既不敢去领那张一百万美元的奖状，也没能给人类留下一套通用的认知工具； 它所做的一切，不过是把人类文明最珍贵的一座思想矿藏，炸成了一地用来吸引点击的碎石。