OpenAI这可是拿千禧年难题当Benchmark刷啊。。。

< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400"> OpenAI这是拿千禧年难题当Benchmark刷啊。。。 一水 2026-09-11 09:46:55 来源： 量子位 OpenAI的纳维-斯托克斯方程连续剧，居然还没完。。。 《纽约时报》最新追访，补出了这场冲突中此前没有披露的细节。 其中最关键的一条，是OpenAI更新了关于用户数据的说法： Buckmaster过去两个月的Codex提示词，绝不可能以任何方式影响内部模型。7月3日之后的任何用户输入，也不可能进入这套系统 。 这比OpenAI此前 “无法完全排除匿名用户数据曾帮助改进模型” 的表态明确得多，也给8月研究成果是否进入模型划出了一条时间线。 不过这仍然是OpenAI单方面给出的说法，目前没有公开技术材料可供外界独立核查。 数据争议还没落地，OpenAI又扔下一枚炸弹： 攻克纳维-斯托克斯之后，公司又在另一道千禧年大奖难题上取得“实质性进展”，正在准备公布结果 。 而最新传闻指向的，正是霍奇猜想。 好家伙，第一道题的论文还在接受审查，第二道题已经要交卷了。 “你为什么要毁掉自己的职业生涯？” 简单回顾一下这场争议始末以及最新爆料。 纽约大学数学家Tristan Buckmaster称，在自己拒绝OpenAI提出的合作方案，并表示可能公开双方的沟通经过后，OpenAI研究负责人Sébastien Bubeck对他说： 你为什么要毁掉自己的职业生涯？ Buckmaster反问，公开事实怎么会毁掉一名学者的职业生涯。对方又称： 如果你不希望我保持友善，那我也不必友善。 Bubeck后来承认第一句话确实出自自己之口，但否认是在威胁 。 他随后晒出自己与Buckmaster合作者Levent Alpöge的聊天截图。 截图显示，Bubeck在电话前提出协调双方发布、承认两人的研究优先权，并愿意分享证明和人类提示词。 但这些消息只能证明OpenAI在电话前释放过合作意愿，无法还原真正引爆冲突的通话。 《纽约时报》此次补出的，是那场谈判更完整的条件 。 当时OpenAI已经完成纳维-斯托克斯证明，而Buckmaster和Alpöge只推进到了更简单的欧拉方程。 OpenAI向Buckmaster提供了几种选择： 两位数学家先发布欧拉方程成果，OpenAI第二天再公布纳维-斯托克斯证明； 由Buckmaster担任主要作者，重新整理OpenAI模型生成的论文； 为Buckmaster提供充足算力，让他继续完成自己的研究； OpenAI还会建议，100万美元的千禧年大奖荣誉应归Buckmaster和合作者。 需要说明的是，OpenAI不是要直接支付100万美元，也没有证据显示双方讨论过封口协议。 这里指的是OpenAI愿意公开推荐奖金归属。 但Buckmaster仍然觉得，OpenAI是在“收买”自己。 症结就在他的合作者Alpöge身上 。 Alpöge虽然任职于Anthropic，但这项研究是他的个人业余项目，并非Anthropic发起。 可Bubeck在接受《纽约时报》采访时直接确认，OpenAI确实不希望Alpöge出现在最终论文中： 在我们看来，怎么能让一名Anthropic员工参与OpenAI内部项目？ Buckmaster则认为，两人的研究既使用了Anthropic的Claude，也使用了OpenAI的Codex，最合理的办法应该是两家公司放下竞争，共同处理这项成果。 他形容，OpenAI无法理解自己为什么不接受这笔交易，也无法理解他为什么不愿意“把Levent扔到车轮底下”。 Bubeck对此同样感到不解。 他告诉《纽约时报》，OpenAI此前完成其他数学证明后，也曾与外部数学家达成过类似合作安排，因此他对Buckmaster拒绝合作的反应感到惊讶。 至于“毁掉职业生涯”的警告，Bubeck给出的语境是： Buckmaster表示，只要OpenAI公布证明，就会立即向媒体提出一系列指控。 他真正想问的是，为什么要用未经证实的指控冒险损害自己的职业生涯。 Bubeck承认这是“极其糟糕的措辞”，称自己当场收回并道歉。 但Buckmaster显然没有感受到其中的“善意”。 周日，他把纽约大学的办公室变成了一间临时“作战室” ： 黑板上写满事件时间线，几名同事坐在旁边，和他一起讨论该怎么应对。 他还给普林斯顿高等研究院数学家Peter Sarnak打了电话。Sarnak听完双方提出的条件后表示： 这种讨价还价，我从来没有听说过。 他同时称赞Buckmaster“按照数学家的方式行事”。 周一接近午夜，Buckmaster仓促公开了三篇尚未来得及充分润色的论文，以及一份1870词的事件说明。 直到凌晨2点30分，他才离开办公室回家。 几个小时后，OpenAI正式宣布完成纳维-斯托克斯证明。 而这场争议真正刺痛数学家的，也许还不只是数据。 Buckmaster认为， 在争吵中被忽略的，是人类数学家为这次突破铺出的道路 。 几年前，西班牙数学家Diego Córdoba和Luis Martínez-Zoroa提出了一套攻击相关流体方程的新策略： 通过一连串精确的外力“踢击”，不断将流体推向极端状态，最终逼出速度趋近无穷大的奇点。 Buckmaster负责设置问题，Alpöge将问题输入Anthropic的模型。 两人再根据模型输出不断反馈、修正，逐步解决更复杂的方程。 Buckmaster因此强调： 主要的智力功劳应该归于Luis和Diego 。 按照过去的研究节奏，这套方法本可以由不同数学家继续接力，或许再用十年时间走到纳维-斯托克斯。 但现在，OpenAI调动上万个Agent，把这段路压缩到了几天。 一边是前人用几年时间提出核心策略，另一边是AI用海量算力完成最后冲刺。 那么，这项突破究竟应该算谁的？ 这个问题还没有答案。 但我们能看到的是，OpenAI已经开始刷下一道了。。。 下一道可能是霍奇猜想，模型或叫Aeon 最新爆料称，OpenAI已经把下一个目标锁定在了 霍奇猜想 。 早在纳维-斯托克斯结果公布前，Epoch AI数学负责人Elliot Glazer梳理当时混乱的消息源时，就提到一名数学教授从所谓“可信渠道”听到： 被攻克的不是纳维-斯托克斯，而是霍奇猜想 。 当时这条消息被视为传闻中的传闻。 如今OpenAI确认又在一道千禧年难题上取得“实质性进展”，这条旧线索也被重新翻了出来。 虽然是不是还有待两说，但种种传闻已经让它成为目前呼声最高的答案。 那么，霍奇猜想到底在猜什么？ 简单来说，它试图在数学的两个世界之间搭一座桥。 一个是拓扑学，关注高维空间整体上有多少个“洞”。 另一个是代数几何，研究由多项式方程刻画出来的几何形状。 霍奇猜想认为，在一类特定的复杂几何空间中，那些由拓扑学发现的特殊“洞”，并不是凭空存在的，它们背后应该都能找到由代数方程构成的几何结构。换句话说： 一个空间里看不见、摸不着的拓扑特征，背后应该存在可以用方程写出来的“骨架