{"id":"mb-20260909-bf2226","kind":"deep","title":"一条恶搞硅谷高管的推特段子，被全网当成人类科技史的奇迹传了整整一天","summary":"一条恶搞硅谷高管的推特段子，被全网当成人类科技史的奇迹传了整整一天","body":"一条恶搞硅谷高管的推特段子，被全网当成人类科技史的奇迹传了整整一天。\n\n传闻里写得有鼻子有眼：\n一万个智能体通力协作，烧掉一千三百亿代币，在八十八小时内攻克了悬赏一百万美元的千禧年数学难题。\n全世界都在惊呼超级人工智能降临，数学家马上就要集体失业。\n\n但凡顺着引用链往回翻两层，就会发现荒诞的一幕：\n那张八十八小时攻破流体力学圣杯的战报，最初只是一个技术博主用来讽刺行业吹牛的段子。\n那个博主的原话是在调侃：\n向一万个智能体下属分派任务，八十八小时搞定奇点，至于数学界的同行评审只是个微小的形式程序。\n结果这段讽刺文学被整个科技圈直接当成了严肃新闻，连同四千万美元的算力账单一起，被顶上了全球科技头条。\n\n既然八十八小时是段子，难道整件事全都是假的？\n并没有。\n刨掉恶搞的数字，底下藏着一套更凶猛的真实动作。\nOpenAI 的研究人员 Ethan Knight 确实公开承认了一件事：\n他们内部启动了一场超大规模的数学实验，动用的智能体规模，也确实达到了上万个。\n\n为什么要动用一万个智能体去算题？\n过去我们熟悉的大模型，比拼的是预训练规模。\n买几万张显卡，把互联网上所有文本吞下去，砸几十亿美元训练出一个超大模型。\n但这套老办法在最高深的逻辑面前，正在撞上一堵坚硬的算力墙。\n单靠一个大模型自言自语敲公式，思维链条再长，也无法穷尽顶级数学的迷宫。\n只要中间一步算错，后面几千步推导全部报废。\n\n于是前沿实验室彻底换了打法。\n这台新机器的核心，叫作推理时算力扩展与分布式定理搜索。\n他们花了一整年时间，用多智能体强化学习去训练这些模型。\n他们训练这些模型，是要它们学会自己组织队伍、自己分工协作。\n\n一万个智能体放进系统里，它们是怎么工作的？\n它们像一张庞大的立体搜索网。\n有的智能体专门充当解构者，把困扰人类两个世纪的纳维·斯托克斯偏微分方程，拆解成上千个细小模块；\n有的智能体充当探路工，在可能出现平滑外力驱动的特定方向上，疯狂尝试不同的坐标变换；\n有的智能体充当挑错者，专门针对别人生成的推导步骤挑刺、寻找数学反例；\n还有的智能体充当调度员，把被反例击溃的死路直接废弃，把可行的分支合并回主干。\n它们不需要人类手把手教怎么分工，依靠强化学习策略自主组织。\n这就把原本需要几个顶尖数学家苦想两年的推演过程，在海量显卡并发驱动下，压缩成了一场极速的推理算力冲刺。\n\n上万个智能体协同冲刺，真能拿下那座千禧年大奖吗？\n在这里，科技巨头一脚踢上了一块人类最硬的钢板：\n数学世界残酷的零容错二值检验。\n\n在写代码、做商业、搞工程的现实世界里，八十分的成果就是奇迹。\n代码有瑕疵，程序先跑起来慢慢修；\n商业文案有小毛病，读者大致看得懂；\n哪怕是自动驾驶，只要在绝大多数场景下不出事，就能拿到商业牌照。\n但纯数学是一座只有零和一的世界。\n纳维·斯托克斯方程是克雷数学研究所设下的世纪悬赏。\n两百年来，全世界最顶尖的大脑都在争论同一件事：\n平滑流动的水流方程，在没有外界剧烈破坏的情况下，会不会突然产生速度无限大、能量无限集中的奇点？\n要么这个奇点永远不存在，水流永远平滑；\n要么你能构造出一个严丝合缝的数学实例，证明它在有限时间内必然爆破。\n\n在这个竞技场上，九十九点九分的证明，价值等于零。\n一万个智能体可以通过恐怖的并发搜索，产出一份长达上百页、每个公式看起来都无比自洽的候选推导。\n但只要在某一个极限放缩的角落里，漏掉了一丝微弱的边界震荡，整座由一万个智能体拼出来的逻辑大厦就会在瞬间崩塌。\n\n这也是为什么当互联网为之狂欢时，真正的数学家连眼皮都没眨一下。\n在数学家的规则手册里，算力从来不是真理的度量衡。\n你动用了一万个智能体也好，烧掉几千万美元也罢，在严肃的同行评审眼里根本不构成论据。\n真正能证明世纪难题被攻破的硬锚点，只有两座大门：\n要么，把全套证明翻译成交互式定理证明工具 Lean 里的严格代码，让编译器逐行核验通过，不留半点逻辑漏洞；\n要么，把完整手稿公开扔给全球同行，在长达几年的严格审视下，经受住世界上最挑剔大脑的逐字挑错。\n而在两座大门前，OpenAI 至今没有拿出哪怕一段形式化验证的代码，也没有交出一篇可供检验的预印本。\n\n一个恶搞段子能把全球科技界忽悠得团团转，恰恰照出了前沿技术最微妙的断层：\n在缺乏确定性验证的环境里，再庞大的算力集群，也只会高效制造出让人深信不疑的复杂幻觉。\n算力能买来上万倍的搜索速度，但它买不来真理对哪怕一个符号的宽容。","topic":"一条恶搞硅谷高管的推特段子，被全网当成人类科技史的奇迹传了整整一天","frame_type":["推理时算力扩展（Test-Time Comput","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-09 09:33:03","legal_anchor_count":0,"transcript_citation_count":0}