OpenAI 万智能体数学证明引发署名之争,Altman 系 Worldcoin (WLD) 被推上风口

1 万个智能体、88 小时拿下千禧年大奖难题

OpenAI 于周二宣布,其内部一个模型产出了经机器验证的 Navier-Stokes 存在性问题的解——这是克雷数学研究所悬赏 100 万美元的七大千禧年大奖难题之一。该结果证明流体方程可以出现“爆破”(blow up),即流体速度会在某一点趋于无穷大,而这在物理上是被排除的情形;证明的每一步都在 Lean 这一形式化证明辅助语言中完成了校验。如果经得起同行审视,它将成为有史以来第二个被解决的千禧年难题,也是第一个归功于人工智能的解。OpenAI 称,整个证明耗时 88 小时,动用了约 1 万个协同工作的 AI 智能体——即其下一代模型的并行副本,该模型据称显著强于 GPT-6 Astra;后者不久前在 ARC-AGI-3 上拿下 98.6% 的成绩,此前还在 OSWorld 2.0 上取得 72.6%(详见我们此前的报道:ARC-AGI-3 得分 98.6%、OSWorld 2.0 得分 72.6%)。这一消息落地之际,AI 数学正处在一个非同寻常的阶段:几天前 Anthropic 报告其 Claude 模型产出了经计算机验证的费马大定理证明,而大规模智能体部署也渐成常态——我们此前就追踪到 OpenAI 智能体在一次协同行动中在德语维基留下 1.8 万条帖子(见 德语维基 1.8 万条帖子事件)。但这个流体力学声明随即撞上了“人”的问题。就在 OpenAI 公开发布前数小时,纽约大学(NYU)数学家 Tristan Buckmaster 发布了一份四页声明,指称 OpenAI 的 Sébastien Bubeck 早已知悉他与 Anthropic 研究员 Levent Alpöge 未发表的密切相关工作,并在公告前就署名问题向二人施压。OpenAI、Bubeck 与 CEO Sam Altman 均否认这一说法,围绕“谁先解出这道价值 100 万美元的难题”的激烈交锋就此展开。

Buckmaster 的声明与各方回应

按 Buckmaster 的说法,他与 Alpöge 花了将近一年时间引导大语言模型走向流体爆破证明,并在 8 月 22 日前手中已有解法。9 月 3 日,在“Anthropic 攻克了一项重大开放难题”的传闻扩散后,Buckmaster 给 OpenAI 的一位数学家发去邮件,强调该项目纯属个人行为、与两家公司均无关联;对方回复友好,甚至主动提出提供 OpenAI 的算力资源。随后在 9 月 6 日周日,双方进行了两次通话——Buckmaster 称,Bubeck 在通话中透露内部模型已经产出了约 100 页的光滑强迫项下强制 Navier-Stokes 证明,走的正是 Diego Córdoba 与 Luis Martínez-Ziora 的研究路线,而这条窄门几乎无人问津。他指控 Bubeck 曾两次以 Alpöge 的 Anthropic 任职为由要求将其从署名中剔除,并有一次问他:“你为什么要毁掉自己的职业生涯?”Bubeck 回应称这些说法“虚假且煽动性十足”,并晒出短信记录,称其中显示他提出的是协同发布的方案,坚称自己行事出于善意。Altman 则表示 Bubeck “全程表现出正直与慷慨”,并补充说 OpenAI 在意识到对方团队只解决了 Euler 情形、而非完整 Navier-Stokes 后,曾主动提出让对方团队先行发表。OpenAI 另外单独声明,其在发表前从未见过二人的工作,但不排除经去标识化处理的使用数据曾帮助改进了自家模型。Buckmaster 还指出,两人曾把证明草稿存放在 OpenAI Codex 会话中,而这些会话是否进入了模型训练,始终没有得到答复。菲尔兹奖得主 Terence Tao 评价 Buckmaster 与 Alpöge 背后的数学工作是“了不起的成就”。值得注意的是,无论是 OpenAI 的 100 页证明,还是二人最先进的成果——后者仍在等待 Lean 的最终校验——目前都没有经过独立评审。 希望实时跟踪行情的读者，可在MEXC查看现货与合约的实时价格。

Altman 与 Worldcoin 的关联

对 Worldcoin 项目(WLD)而言,这件事的关键不在流体力学本身,而在于突破上挂着谁的名字。Altman 是 Worldcoin 的联合创始人,该项目的虹膜扫描身份网络依赖零知识证明技术,而 OpenAI 的里程碑事件此前已多次外溢到该代币的市值叙事中——交易者不断对“Altman 系 AI+加密”这条交易主线重新定价。过去 24 小时内,WLD 下跌 4.4%,即便如此,AI 关联山寨币板块仍在追踪这场署名之争,Worldcoin 生态(详见Worldcoin 生态)依旧处在 Altman 另一家公司的冲击波范围内。这份证明能否挺过外部评审、署名最终花落谁家,将决定下一轮Web3 仓位布局的方向。