OpenAI 与数学家关于纳维 - 斯托克斯方程的争议再有新进展。《纽约时报》最新披露的细节显示，OpenAI 明确否认用户数据影响了模型训练，并划定了时间红线。与此同时，传闻称 OpenAI 已在另一道千禧年大奖难题——霍奇猜想上取得实质性突破。
Buckmaster 过去两个月的 Codex 提示词绝不可能影响内部模型；7 月 3 日之后的任何用户输入也未进入该系统。
这一表态比此前“无法完全排除”的说法更为决绝，但截至目前，外界仍缺乏独立核查的技术材料。
数据争议尚未平息，OpenAI 又传出攻克第二道千禧年难题的消息，目标直指霍奇猜想。
冲突核心：职业威胁与利益博弈
争议始于纽约大学数学家 Tristan Buckmaster 与 OpenAI 研究负责人 Sébastien Bubeck 的一次通话。Buckmaster 透露，在其拒绝合作并威胁公开沟通记录后，Bubeck 曾质问：“你为什么要毁掉自己的职业生涯？”并表示若对方不友善，自己也不必保持友善。
Bubeck 随后承认说过第一句话，但辩称并非威胁，而是担忧 Buckmaster 提出未经证实的指控会损害其声誉。他晒出与 Buckmaster 合作者 Levent Alpöge 的聊天记录，试图证明 OpenAI 曾释放善意，提出协调发布顺序、共享署名权及证明细节。
谈判条件曝光
《纽约时报》披露了当时更完整的谈判筹码。当时 OpenAI 已完成纳维 - 斯托克斯方程证明，而 Buckmaster 团队仅推进至欧拉方程。OpenAI 提出的方案包括：
- 让两位数学家先发表欧拉方程成果，OpenAI 次日再公布纳维 - 斯托克斯证明；
- 由 Buckmaster 担任主要作者，整理 OpenAI 生成的论文；
- 提供充足算力支持 Buckmaster 继续研究；
- 公开建议将 100 万美元千禧年大奖荣誉归于 Buckmaster 及其合作者。
需澄清的是，OpenAI 并非直接支付奖金，也无证据表明存在封口费，仅是愿意背书奖金归属。然而，Buckmaster 认为这是“收买”，症结在于 OpenAI 要求将其合作者、Anthropic 员工 Levent Alpöge 排除在论文之外。
在我们看来，怎么能让一名 Anthropic 员工参与 OpenAI 内部项目？
Buckmaster 坚持两人应共同署名，形容 OpenAI 无法理解他为何不愿牺牲合作者。尽管 Bubeck 事后为措辞不当道歉，但信任已破裂。Buckmaster 随即在办公室组建“作战室”，咨询普林斯顿高等研究院专家 Peter Sarnak。Sarnak 评价称从未听过此类讨价还价，并赞扬 Buckmaster 坚守了数学家的原则。
最终，Buckmaster 仓促公开了三篇未充分润色的论文及事件说明，几小时后，OpenAI 正式宣布完成证明。
人类智慧与 AI 算力的功劳之争
Buckmaster 指出，争议中被忽视的是人类数学家铺就的道路。西班牙数学家 Diego Córdoba和 Luis Martínez-Zoroa 早年提出的通过外力“踢击”流体逼出奇点的策略，是此次突破的核心智力贡献。Buckmaster 团队负责设定问题并反馈修正，而 OpenAI 则调动上万个 Agent 将原本可能需要十年的验证过程压缩至几天。
一边是人类提出的核心策略，另一边是 AI 的海量算力冲刺，这项突破的功劳归属尚无定论。
下一目标：霍奇猜想与神秘模型
最新迹象表明，OpenAI 的下一个目标锁定为霍奇猜想。早在纳维 - 斯托克斯结果公布前，就有传闻称被攻克的实为霍奇猜想。随着 OpenAI 确认在另一道千禧年难题上取得进展，这一猜测热度陡增。
霍奇猜想简介
该猜想旨在连接拓扑学与代数几何两个领域，认为复杂几何空间中由拓扑学发现的特殊“洞”，背后必然存在由代数方程构成的几何结构。作为七大千禧年难题之一，其难度极高。
神秘模型"Aeon"?
挑战该猜想的可能是 OpenAI 内部代号为Aeon（暂未证实）的新模型。据悉，该模型自 8 月 28 日开始训练，数学能力已显著超越 GPT-6 Astra，且在纳维 - 斯托克斯项目期间仍在持续训练。
该系统由上万个 Agent 组成，并行尝试多道难题。仅在纳维 - 斯托克斯一题上，就动用了约 1 万个 Agent，耗时 88 小时找到解法，随后再用 17 小时完成形式化验证。这标志着 AI“暴力解题”模式已正式开启。
世纪猜想沦为 AI 测试集
纵观近期事件，这并非偶然的数学突破，而是一场 OpenAI 与 Anthropic 等巨头参与的 AI 刷题竞赛。双方将千禧年难题视为检验模型能力的终极测试集。
△图片由 AI 生成
虽然 AI 加速了困扰人类百年的难题求解，但也引发了数学界的深层焦虑：研究者提出问题、积累路径，却可能发现工具背后的公司正在与自己抢跑，甚至抹去人类的贡献。
Buckmaster 表示，他不在乎百万奖金，只愿成为历史的一部分。如今他虽已进入历史，方式却充满无奈。面对万亿美元体量的科技巨头，个体数学家的处境显得尤为艰难。
与一家万亿美元公司对抗，非常可怕。我们都害怕 OpenAI。