OpenAI秘密杀器“Doug”曝光:再破千禧难题霍奇猜想!771位数学家联署抗议

人类数学大厦的屋顶，正在被硅谷的算力狂魔一片片掀开。

就在流体动力学皇冠上的明珠，纳维-斯托克斯方程（Navier–Stokes）被AI强行攻破的余震还未消散之际，深夜，科技圈与学术界再次迎来剧烈震荡。

科技媒体《The Information》突发头条爆料：OpenAI已经在内部“接近解决”第二道千禧年大奖难题，霍奇猜想（Hodge Conjecture）！

▲ 科技账号爆料《The Information》付费内文：OpenAI正逼近霍奇猜想

报道同时披露了一艘潜伏在水面之下的算力核潜艇：OpenAI在攻克上一道千禧难题时，直接动用了下一代超级预训练大模型的秘密变体，内部代号：“Doug”。

然而，预期中的香槟与欢呼并未到来

消息一出，整个国际数学界陷入了前所未有的震怒、焦虑与恐慌。771名数学学者联名签署抗议信，顶级菲尔兹奖得主公开发声斥责，OpenAI甚至被迫撤回了学术赞助。

一位学者在推特上的评价切中了学界的隐忧：

“所谓的奇点，最终可能只是一个根本没人点开的PDF附件。”

一万个Agent狂奔88小时：深渊巨兽“Doug”出笼

要理解这场大地震，我们必须先看清OpenAI到底在秘密实验室里造出了什么。

过去两年，外界一度以为大模型的预训练已经撞上了收益递减的“算力之墙”。然而，代号为“Doug”的怪兽级模型，直接粉碎了这种猜想。

▲ 《The Information》报道披露：OpenAI在攻克上一难题时动用了新一代预训练模型“Doug”

据知情人士透露，在拿下第一道千禧难题纳维-斯托克斯方程的部分证明时，OpenAI部署了整整一万个自主Agent（智能体）协同作战。

那是一场人类历史上从未有过的“暴力破局”：

• 88小时
  连续无休的高强度计算；
• 内部交换了270万条推导与批判消息；
• 狂吐出1300亿个Token；
• 单次攻坚消耗的算力成本，折合市场公允价高达数千万美元！

这些Agent在代码构筑的虚拟空间里互相提出引理、互相寻找漏洞，并由严苛的Lean定理证明助手逐行把关代码级逻辑。最终，原本需要人类数学家耗费数十年甚至几代人燃烧脑细胞的宏伟证明，被这台算力巨兽在四天内强行推平。

而现在，这头名为“Doug”的巨兽，将猩红的目光转向了下一座更险峻的险峰，霍奇猜想。

高中生也能懂：霍奇猜想，到底在问什么？

千禧年大奖难题（Millennium Prize Problems），是克雷数学研究所（Clay Mathematics Institute）在2000年悬赏选出的七大世纪难题，每一道悬赏100万美元。

此前唯一被解决的，是俄罗斯怪才佩雷尔曼攻破的庞加莱猜想。

▲ 克雷数学研究所官方页面，霍奇猜想依然标注为“Unsolved”

如果说流体方程研究的是水流、风暴这类看得见摸得着的物理现实，那么霍奇猜想，则是七大难题中公认最抽象、最脱离现实直觉的“纯数学黑洞”。

它到底在争论什么？

我们可以用一个极度简化的比喻：想象你手里有一座结构极其诡异的高维迷宫。这个迷宫里有千奇百怪的“洞”和复杂的“拓扑缝隙”。

• 拓扑学家会用柔软的、可以随意拉伸的“抽象橡皮圈”去丈量这些洞，给它们分类；
• 但代数几何学家则非常挑剔，他们问：这些迷宫里的复杂结构，到底能不能全部由最基础、最工整的“代数积木”（也就是多项式方程切出来的纯粹几何切片）给严丝合缝地拼出来？

▲ 维基百科霍奇猜想条目：探索抽象拓扑结构与代数几何积木的深层统一

在低维度下，答案是肯定的但在四维及以上的复杂空间里，人类数学家被困在原地几十年，寸步难行。

它之所以尊贵，是因为它像一座跨海大桥，试图将几何学、代数学与分析学这三座原本互不相通的数学大陆彻底焊死在一起。

如果AI真的能攻克霍奇猜想，那就意味着大模型不仅具备“直觉运算”能力，还拥有了在极端抽象的纯符号空间里，自主构建高维理论大厦的惊人逻辑深度。

771名数学家联署抗议：“请收起你们的垃圾数学！”

但讽刺的是，硅谷工程师的狂喜，换来的却是学术界的极度反感与警惕。

就在《The Information》爆料的前几天，一场针对AI公司的反抗风暴在加利福尼亚理工学院（Caltech）全面爆发。

▲ 科技媒体TNW报道：数百名学者联名签署公开信，痛批AI制造“垃圾数学”

当时，OpenAI高调赞助了一场名为Mathathon的AI数学解题大赛。结果，引发了包括菲尔兹奖得主在内的数百名顶尖数学研究者联名抵制，联署人数迅速飙升至771人。最终，OpenAI不得不紧急宣布撤回全部赞助。

数学家们到底在愤怒什么？

1. “未读的证明，毫无意义”

代数几何学者Daniel Litt在推特上直击痛处：“‘接近解决’到底是什么意思？”

AI研究员Ravid Shwartz Ziv更是在播客中辛辣嘲讽：“想象一下，超人类AI日夜不休地打印出成千上万页没人读得懂的证明PDF。如果根本没有人能理解它们，这些输出就是一堆毫无价值的废纸！”

▲ 推特热议：超级AI输出的超长证明，正在超出人类的理解极限

数学的价值远不止得出一个“对与错”的判定，更在于人类从中获得的深刻理解、启发与顿悟。如果AI给出的只是一份长达数千万行、由机器证明器验证通过的“天书”，那它对人类认知边界的拓宽，意义究竟何在？

2. 算力霸凌与科研“洗稿”

传统数学是一门依靠粉笔、黑板和纯粹心智代代相传的慢科学。

如今，万亿美元市值的商业巨头带着千万美元的算力集群闯入这片净土，把严肃的科学探索变成了AI公司的公关秀场与营销赛道。将未经同行严谨评议的半成品当作公关热点随意投放，不仅转嫁了极其沉重的核验成本，更是对学术共同体规则的粗暴践踏。

甚至有科技博主公开发帖：“管他什么数学界关系，解出来了直接甩代码细节！”

▲ 科技圈与学术界的对立：到底要不要顾及同行评议？

OpenAI的深层布局：数学只是垫脚石，目标是“AI研究自动化”

既然费力不讨好，为什么OpenAI哪怕顶着整个学界的骂名，也要死磕这些世纪难题？

《The Information》的报道戳破了温情脉脉的科学滤镜，揭示了山姆·奥特曼及其团队内部的深层野心：

攻克千禧难题不过是序曲，其核心在于充当通向“递归自我改进（Recursive Self-Improvement）”的一块跳板。

▲ Gizmodo报道指出，AI攻坚数学的深层动机是为了自动化AI自身的研发

在LLM遭遇泛化瓶颈的今天，日常闲聊与网络公关稿显然无法支撑超级推理模型的进化。

数学，是全宇宙中最纯粹、最具确定性、拥有绝对客观裁判（Verifier）的形式化系统。

• 在数学的世界里，对就是对，错就是错，不存在任何主观偏见或幻觉借口；
• 模型可以通过不断生成证明、由Lean编译器即时反馈，构建一个完美的强化学习闭环。

OpenAI内部研究员预测：在未来的6到9个月内，AI将以类似于自动化软件工程的方式，实现数学研究的全面自动化！

一旦AI能够自主发现数学规律、发明新的形式化工具，它就能转过头来研究AI算法本身。它将开始自己重构损失函数、自己设计模型架构、自己优化训练策略，这就是传说中AI自我迭代的奇点时刻。

千禧难题，不过是这台超级引擎启动前，用来测试抗压极限的耐力试验场。

理解的黄昏，还是文明的破晓？

二十年前，隐士数学家格里戈里·佩雷尔曼在解开庞加莱猜想后，拒绝了百万美元奖金，拒绝了菲尔兹奖，退隐圣彼得堡的森林，他说：“如果证明是正确的，不需要其他任何承认。”

二十年后，OpenAI的超级机群在喧嚣的算力轰鸣中，同样表示“不打算领取奖金”。

同样是面对百万奖金，前者展现了人类智识对名利的傲然超脱，后者则彰显出硅谷算力对人类传统认知形态的降维碾压。

霍奇猜想或许很快就会在某个深夜被彻底终结。

历史的拷问才刚刚开始：当机器写出的真理超越了人类的肉脑极限，当人类只能充当真理旁目瞪口呆的看客，那究竟是人类科学的破晓，还是人类理性至高荣耀的黄昏？

那个没人点开的PDF附件，已经在路上了。