OpenAI称霍奇猜想取得进展，千禧难题接连被攻？
《纽约时报》最新追访披露了OpenAI与数学家Tristan Buckmaster冲突的更多细节。最关键的一条是，OpenAI更新了用户数据说法：Buckmaster过去两个月的Codex提示词绝不可能影响内部模型，7月3日之后的用户输入也不可能进入该系统。这比此前“无法完全排除匿名用户数据曾帮助改进模型”的表态更明确，但仍属单方面说法，无公开技术材料可供独立核查。
数据争议未落地，OpenAI又宣布在另一道千禧年难题上取得“实质性进展”，传闻指向霍奇猜想。此前纳维-斯托克斯证明的论文仍在审查中。
争议始末：Buckmaster称拒绝OpenAI合作方案并可能公开沟通经过后，OpenAI研究负责人Sébastien Bubeck对他说“你为什么要毁掉自己的职业生涯？”Buckmaster反问公开事实怎会毁掉学者生涯，对方称“如果你不希望我保持友善，那我也不必友善”。Bubeck承认第一句话出自自己之口，但否认威胁，称这是“极其糟糕的措辞”，当场收回并道歉。
《纽约时报》补出谈判条件：当时OpenAI已完成纳维-斯托克斯证明，Buckmaster和合作者Levent Alpöge只推进到更简单的欧拉方程。OpenAI提供几种选择：两位数学家先发欧拉方程成果，OpenAI次日公布纳维-斯托克斯证明；由Buckmaster任主要作者重新整理模型生成的论文；提供充足算力；建议100万美元千禧年大奖荣誉归Buckmaster和合作者。OpenAI不是直接支付奖金，也无证据显示讨论过封口协议，但Buckmaster仍觉得被“收买”。
症结在Alpöge身上。他任职于Anthropic，但研究是个人业余项目。Bubeck确认OpenAI不希望Alpöge出现在最终论文中：“怎么能让一名Anthropic员工参与OpenAI内部项目？”Buckmaster认为研究同时使用了Claude和Codex，最合理是两家公司共同处理。他形容OpenAI无法理解他为何不愿“把Levent扔到车轮底下”。
周日，Buckmaster把办公室变成临时“作战室”，给普林斯顿高等研究院数学家Peter Sarnak打电话。Sarnak听完条件后表示：“这种讨价还价，我从来没有听说过。”周一接近午夜，Buckmaster仓促公开三篇未充分润色的论文及一份1870词事件说明，凌晨2点30分才离开。几小时后，OpenAI正式宣布完成纳维-斯托克斯证明。
Buckmaster认为，被忽略的是人类数学家铺出的道路。几年前，西班牙数学家Diego Córdoba和Luis Martínez-Zoroa提出通过一连串精确外力“踢击”逼出奇点的策略。Buckmaster设置问题，Alpöge输入Anthropic模型，再根据输出反馈修正。他强调主要智力功劳应归于Luis和Diego。按过去节奏，这套方法或需十年走到纳维-斯托克斯，但OpenAI调动上万个Agent，把这段路压缩到几天。
最新爆料称，OpenAI下一个目标锁定霍奇猜想。早在纳维-斯托克斯结果公布前，Epoch AI数学负责人Elliot Glazer就提到有数学教授从“可信渠道”听说被攻克的是霍奇猜想。OpenAI只透露该模型从8月28日开始训练，数学能力显著超过GPT-6 Astra，外界传言代号可能是Aeon，尚未证实。整轮测试产生490万条Agent消息和约3000亿输出Token，仅纳维-斯托克斯一题就动用约1万个并行Agent，产生270万条消息，消耗约1300亿输出Token，从启动到找到解法仅88小时，GPT-6 Astra又花17小时完成Lean形式化和验证。
把近期消息放在一起看，这更像一场被传闻点燃的AI刷题竞赛，主角是OpenAI和Anthropic，瞄准千禧年难题。七道题中此前只有庞加莱猜想获正式解决，若纳维-斯托克斯证明通过审查，还剩五道。对数学家而言，他们提出问题、积累路线、把未公开草稿交给AI工具，最后却可能发现工具背后的公司正在与自己抢跑。Buckmaster说，他并不在意100万美元奖金，只是热爱数学，想成为历史的一部分。如今他确实进了历史，只是方式不同。他对《纽约时报》说：“与一家万亿美元公司对抗，非常可怕。我们都害怕OpenAI。”
更多推荐阅读
300亿美元VAST Data在前，中国AI存储第一股能否破局？
2026年4月，VAST Data完成约10亿美元融资，估值达300亿美元，客户包括xAI、CoreWeave和美国空军。资本市场正用真金白银为AI存储软件定价。与此同时，北京的XSKY也在寻找答案。2026年8月30日，北京星辰天合科技股份有限公司再次向港交所递交上市申请，华泰国际担任独家保荐人。这是它第二次冲刺港股，半年前首次递表因超过六个月有效期而失效。若成功上市，XSKY有望成为港股首家以...
2026-09-11
陶哲轩怒批AI抢发千禧难题杀死开放科学
昨晚，OpenAI官宣其内部模型破解了千禧年难题之一的纳维-斯托克斯方程。但事件迅速引发争议。有说法称，纽约大学数学家Tristan Buckmaster和Leven Alpöge经过数月探索，发现了一条极有希望的解题路径。OpenAI得知后，调集海量算力沿该方向暴力穷举，并试图控制成果发布，甚至要求对方在共同发表时删除Anthropic合作者的署名。OpenAI研究员Sebastien Bube...
2026-09-11
梅涛AI视频新品Vivago R1上线，告别抽卡时代
AI视频创作智能体Vivago R1结束两个月内测后正式上线，主打“确定性交付”，官方称要让AI视频告别抽卡模式。其母公司vivago.ai此前全球用户超7000万，曾登顶Product Hunt日榜第一。 实测中，输入《三体》小说片段后，R1可自动生成大纲、剧本、分镜、图片资产及视频片段，并支持直接输出合并成片，音效同步生成。成片整体质感尚可，但存在加速液充盈感不足、飞船显影突兀等bug。产品...
2026-09-11
语言模型之外另一条AGI路径：生数从世界模型出发
中国AGI正形成两条路径：一条让机器理解、运用语言，另一条让机器认知、推演并改造世界，二者终会交汇。 过去三年，通往AGI的主叙事几乎都从语言开始：更多文本、更大参数、更长上下文、更强推理，加上工具调用与智能体。这条路已证明其力量，让机器能读写、编程、检索、规划，并接管部分原本只存在于屏幕里的复杂工作。 但当任务从“在网页上完成表格”变成“把灯泡拧进灯座”，问题变了。机器人不仅要看见物体，还要...
2026-09-11
OpenAI暂停200美元ChatGPT Pro新订阅
OpenAI宣布暂停200美元/月ChatGPT Pro档新订阅。负责Codex的产品负责人Tibo在X上表示，为确保现有用户继续获得良好的Astra使用体验，将暂停该套餐新订阅，因为该档给系统带来的压力最大，这是为维持广泛访问采取的最小措施。其他套餐和API不受影响，已订阅用户照常续费和使⽤。OpenAI表示正尽快增加算力。目前购买页已变灰，20x档显示“此计划暂不开放新购买，现有订阅不受影响”...
2026-09-11
AI狂飙2030：GDP暴涨，钱却流向富人
到 2030 年，如果 AI 已能自主完成大量工作，美国经济会怎样？Anthropic 最新经济学报告给出一个看似矛盾的答案：经济高速增长与就业萎缩可能同时发生。 报告设定三种情景。温和情景下，AI 覆盖约 20% 全经济任务，企业实际采用其中五分之一，最终约 4% 任务受影响，一半增强人类、一半自动化。到 2030 年，美国 GDP 比无 AI 基准高 1.6%，当年增速从约 2% 升至 2....
2026-09-11