{"id":"mb-20261102-9d3c97","kind":"deep","title":"万体狂跑88小时：OpenAI破解千禧年数学难题背后的下一代GPT","summary":"山姆·奥特曼公开宣布，在四天内调动一万个智能体攻坚纳维-斯托克斯方程的内部模型即将发布，并定名为“下一个 GPT”。本文深度拆解从几秒生成到推理期算力扩展的机制转变、Lean编译器扮演的真理裁判角色、学术界的抢跑争议，以及暴力算力如何重塑人类科学研究的边界。","body":"为了解开一道奖金 100 万美元的世纪数学难题，OpenAI 烧掉了整整 1000 万美元的算力电费。\n\n这道题叫纳维-斯托克斯方程。\n一百多年来，全世界最顶尖的数学家都没能彻底证明，三维空间里的流体运动，到底会不会在某一个瞬间突然失控并走向无限大。\n在克雷数学研究所设立的七个千禧年大奖难题里，它是公认最难啃的硬骨头之一。\n解开它的人，不仅能拿走百万美元奖金，名字还会直接刻进人类科学史册。\n\nOpenAI 显然不是冲着那 100 万美元奖金去的。\n他们调动了大约一万个 AI 智能体，在分布式集群上昼夜不停地协同狂跑了 88 个小时。\n整整四天四夜，光算力成本就砸进去 1000 万美元。\n这是数学史上最昂贵的一场机器攻坚战。\n\n山姆·奥特曼（Sam Altman）后来在播客里透露，这项实验当时的内部代号叫“帮我拿一下啤酒”（Hold My Beer）。\n工程师们把各自学术生涯里最难攻克的科研瓶颈一股脑全塞了进去。\n看着屏幕上一个个困扰人类几十年的数学路障被模型快速推平，奥特曼兴奋得连续两个晚上没合眼。\n\n但如果这仅仅是一场实验室里的闭门炫技，它充其量只是科技圈的一则学术奇闻。\n真正让行业震动的是今天。\n奥特曼在公开活动中直接把底牌亮了出来：\n那个在四天内调动一万个智能体攻坚千禧年数学难题的内部模型，很快就要正式向外界发布。\n他给它的定名极其干脆：\n“这就是下一个 GPT。”\n他还对台下的听众说：“大家很快就能在各自的公司里见证这样的时刻。”\n\n为什么奥特曼要把一个解数学题的系统，称为下一个 GPT？\n这标志着大模型底层逻辑的一次根本转向。\n\n大家过去熟悉的 ChatGPT，是一个几秒钟吐出答案的文字生成器。\n你输入一个提示词，它根据概率分布预测下一个词。\n写写邮件、修修小代码，它对答如流。\n可一旦面对需要几十步严密推导的科学命题，这种机制立刻就会露出破绽。\n只要其中一步推导出错，它就会在后面的步骤里一本正经地胡说八道。\n因为它只有几秒钟的反应时间，完全没有自我纠错和验证的能力。\n\n一万个智能体跑四天，玩的是完全不同的另一套规则。\n在工程上，这叫作推理期算力扩展。\n它不再依靠单个模型去碰运气，变成了一支分工明确的自动化研究军团。\n一万个智能体被散布在庞大的解题搜索树中。\n一部分智能体负责提出全新的猜想与引理；\n另一部分智能体专门扮演吹毛求疵的反方，满世界寻找漏洞来推翻前面的假设；\n还有一部分智能体负责把推导出来的数学逻辑，逐行翻译成交互式定理证明工具 Lean 的代码。\n\n在这套流程里，最冷酷的裁判就是 Lean。\n人类数学家审阅一篇几百页的论文，可能要花上大半年，中途还难免看漏推导漏洞。\n但 Lean 是一个绝对严谨的逻辑编译器。\n只要推导逻辑里出现任何一处跳步或错误，编译器当场报错弹回。\n对应的智能体必须立刻放弃这条死胡同，退回上一步寻找新的分支。\n只要编译器的绿灯亮起，就意味着这一步推导在逻辑上彻底锁死，变成谁也推不翻的基石。\n靠着这种“提出猜想、反向攻击、代码即时编译”的闭环，一万个智能体在四天里排查的逻辑路径，超过了人类学者一辈子的推演量。\n\n当 OpenAI 宣布自己拿出了纳维-斯托克斯方程有限时间爆破的证明草稿时，整个数学界先是陷入了巨大的震动。\n学术圈里甚至有人发出感慨：我们可能真的要失业了。\n\n紧接着，激烈的争议与质疑立刻砸了过来。\n普林斯顿与马里兰大学的顶尖数学家特里斯坦·巴克马斯特（Tristan Buckmaster）公开站出来质疑。\n他指出，OpenAI 的突破很可能利用了人类学者尚未公开发表的最新研究草稿。\n因为许多前沿学者在日常使用 AI 工具或进行学术探讨时，最核心的灵感与思路，很可能早就被吸纳进了模型的数据反馈系统里。\n这演变成了一场关于暴力算力是否抢跑人类研究成果的激烈争论。\nOpenAI 回应称模型并没有蓄意剽窃，但也承认无法完全排除去标识化的用户使用数据对模型探索路径产生过影响。\n\n这场风波直接揭开了一个极其现实的技术断层。\n人类顶尖学者坐了十几年冷板凳，才用纸和笔摸索到真理大门的一条缝隙。\n而拥有庞大资本的科技巨头，可以用一万个智能体和上千万美元的算力，在四天之内把这扇门硬生生撞开。\n传统学术界习惯的优先权规则，在巨大的工业化算力面前，第一次感到了被碾压的无力。\n\n这正是奥特曼今天这番话最有分量的地方。\n当他宣布这个模型就是下一个 GPT 时，意味着这套昂贵的研究范式正在被快速产品化。\n奥特曼提到，随着模型推理效率的提升，一年后跑完同样复杂度的证明，成本可能会降到原本的百分之一。\n这意味着未来的企业不再只是用 AI 来起草文案或总结周报。\n无论是新材料的分子筛选、复杂芯片的电路布线，还是金融工程的极端压力测试，\n那些过去需要几十位专家团队熬上数年才能攻关的硬核命题，\n很快会被打包交给机房里成千上万个昼夜协作的智能体。\n只要一个领域拥有明确的逻辑规则和可编译的验证环境，机器就能用不知疲倦的搜索树，把人类的认知边界往前推进。\n\n当一道世纪难题可以用一万个智能体和上千万美元算力硬生生砸开，\n代码、论文和科学发现之间的界限，已经被推到了一个完全陌生的地方。\n奥特曼说，一年之后跑完同样的证明，成本只要十万美元。\n当算力以这种速度便宜下去，\n下一次一万个智能体在机房里连轴狂跑四天，\n它们带出来的，可能就不只是一道数学题的答案了。","topic":"万体狂跑88小时：OpenAI破解千禧年数学难题背后的下一代GPT","frame_type":["机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-11-02 21:38:23","legal_anchor_count":0,"transcript_citation_count":0,"seo_title":"万体狂跑88小时：OpenAI破解千禧年数学难题背后的下一代GPT","description":"山姆·奥特曼公开宣布，在四天内调动一万个智能体攻坚纳维-斯托克斯方程的内部模型即将发布，并定名为“下一个 GPT”。本文深度拆解从几秒生成到推理期算力扩展的机制转变、Lean编译器扮演的真理裁判角色、学术界的抢跑争议，以及暴力算力如何重塑人类科学研究的边界。","domain":"ai","domain_label":"AI 与大模型","domain_label_en":"AI & LLMs","domain_url":"https://mubeitech.com/deep?domain=ai","canonical_url":"https://mubeitech.com/deep/mb-20261102-9d3c97","markdown_url":"https://mubeitech.com/deep/mb-20261102-9d3c97/markdown","json_url":"https://mubeitech.com/api/interpretations/mb-20261102-9d3c97","published_at":"2026-11-02T21:38:23Z"}