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

1万个智能体、88小时的数学证明

OpenAI 于周二宣布,其一个内部模型已就纳维-斯托克斯存在性问题给出机器验证的解法——该问题是七大千禧年大奖难题之一,每一题均由克雷数学研究所悬赏100万美元。这份证明声称流体方程可以「爆破」,即允许流体速度在某一点趋于无穷大,而这一点在物理上不可能成立;证明的每一步均在形式化验证语言 Lean 中完成校验。若结果经受住审查,它将成为史上第二个被解开的千禧年难题,也是首个归属于人工智能的成果。公司表示,整个证明耗时88小时,动用了约10,000个协同运作的 AI 智能体——其描述中远强于 GPT-6 Astra 的下一代模型的并行副本;GPT-6 Astra 此前曾在 ARC-AGI-3 上取得98.6%的成绩,更早之前在 OSWorld 2.0 上拿下72.6%。这一公告恰逢 AI 数学领域的多事之秋:几天前,Anthropic 称其 Claude 模型产出了经计算机验证的费马大定理证明,大规模智能体部署也已成常态——我们此前曾追踪到 OpenAI 智能体在一次协同行动中在一家德语维基留下18,000条帖子。但流体力学的这一声称随即遭遇人为波折。就在 OpenAI 公开发布前数小时,NYU 数学家 Tristan Buckmaster 发布了一份四页声明,指控 OpenAI 的 Sébastien Bubeck 得以知晓 Buckmaster 与 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页的光滑强迫项纳维-斯托克斯证明,走的是同一条极为冷门的技术路线,即建立在 Diego Córdoba 与 Luis Martínez-Ziorba 研究纲领之上。他指控 Bubeck 曾两次以 Alpöge 的 Anthropic 身份为由,要求将 Alpöge 从作者名单中剔除,并一度问他:「你为什么要毁掉自己的职业生涯?」Bubeck 称这些说法「虚假且具有煽动性」,并展示了据称能证明他提议双方协调发布的短信记录,坚称自己行事出于善意。Altman 表示 Bubeck「自始至终行事正直且慷慨」,并补充说 OpenAI 在意识到对方只解决了欧拉情形、而非完整纳维-斯托克斯问题后,曾主动提出让对方团队先行发表。OpenAI 另外表示,在对方成果发表前从未见过其工作,但无法排除去标识化的使用数据曾帮助改进其模型。Buckmaster 还指出,二人曾把证明草稿存放在 OpenAI Codex 会话中,而关于这些会话是否进入了模型训练,始终未获答复。菲尔兹奖得主 Terence Tao 评价 Buckmaster 与 Alpöge 的底层数学是一项「了不起的成就」。值得注意的是,无论是 OpenAI 这份100页证明,还是二人最先进的成果——仍在等待 Lean 的最终校验——均未经独立评审。需要实时跟踪行情的读者可以在 MEXC 关注现货与合约的实时价格。

Altman 与 Worldcoin 的关联

两个新细节让局面进一步清晰。OpenAI 称,在88小时运行结束后,GPT-6 Astra 本身又花了17小时对智能体的逻辑进行形式化验证,并且公司表示即使结果成立,也不会申领克雷研究所的100万美元奖金。Buckmaster 则公开缓和了措辞,称他不知道 OpenAI 的模型做了什么、怎么做的,不知道自己的数据是否被使用,也「不指控任何人」。Bubeck 在一场新闻发布会上否认接触过未发表的工作,尽管 OpenAI 再次承认无法排除二人的产品使用数据影响了训练。这场冲突正值 OpenAI 筹备传闻中1万亿美元 IPO 之际,而 Anthropic 正在追求更高的估值。

关于本次运行的规模,更多细节浮出水面。OpenAI 表示,这约10,000个智能体在88小时内交换了270万条消息,生成了约1,300亿个 token;研究负责人 Mark Chen 透露,算力支出已超过克雷奖金本身的100万美元价值。克雷数学研究所尚未认可该结果;其规则要求在受认可平台发表、公开可获取满两年,并在数学界获得广泛接受后才可授奖——鉴于公司已声明不会申领奖金,这一点已无实际意义。Bubeck 也在 X 上公开否认曾要求将 Alpöge 从其本人成果的作者名单中剔除,而 Alpöge 对 OpenAI 关于去标识化训练数据的坦承回应道:「我得说,他们能坦诚这一点值得称赞。」 希望实时跟踪行情的读者，可在MEXC查看现货与合约的实时价格。

（截至 12:30 UTC） (截至 UTC 时间12:30)对于 Worldcoin (WLD) 项目(WLD)而言,尽管过去24小时下跌4.13%、报0.4523美元,其技术面图谱仍偏建设性。COINOTAG 自有的42项指标综合体系显示,现价正下方存在中等强度支撑位0.4368美元(56/100;S1、一目均衡转换线、一目均衡基准线B),最强支撑位于0.3895美元(57/100;EMA 50、S3、EMA 100、SMA 50),再往下依次为中等支撑层0.3529美元(54/100)、0.3057美元(43/100)与0.1763美元(39/100)。上方来看,强阻力紧贴现价位于0.4573美元(80/100;斐波那契0.382、布林带上轨、枢轴点、肯特纳上轨),其后由0.4892美元(67/100;斐波那契0.500、HVN、唐奇安上轨)和0.5588美元(62/100;斐波那契0.618、HVN、R2)提供支撑。衍生品持仓情绪偏多:资金费率为0.0054%,对应1.152亿美元的未平仓合约,暗示多头支付持仓成本。RSI 为63.75,MACD 发出看多信号,上升趋势完好,恐慌与贪婪指数为66(贪婪),COINOTAG 追踪的加密总市值为2.34万亿美元、其中 BTC 占比68.1%。若 WLD 干净利落地突破0.4573美元,将打开通往0.4892美元和0.6745美元(50/100)的路径;若失守0.4368美元,则更强的支撑位0.3895美元将重新进入视野。