7月13日消息,OpenAI 过去几天密集释放动作:GPT-5.6 Sol Ultra 在 7 月 10 日发布了一份约 50 年未解数学猜想的证明,Codex 和 ChatGPT Work 在 7 月 13 日取消 5 小时使用限制并宣布活跃用户突破 600 万,而安全系统负责人 Johannes Heidecke 于 7 月 11 日宣布离职、安全团队再次并入研究部门。三条线索指向不同层面——能力展示、用户规模扩张和组织治理调整——但发生在同一周,放在一起能看到一些单独看不到的东西。
Sol Ultra 证明循环双覆盖猜想:3 页证明,64 个子 Agent,不到 1 小时
7 月 9 日,OpenAI 全面开放 GPT-5.6 Sol Ultra。次日,OpenAI 工程师 Ethan Knight 宣布,该模型调用 64 个协作子智能体,在不到 1 小时内为提出约 50 年的"循环双覆盖猜想"(Cycle Double Cover Conjecture)生成了一份 3 页证明。OpenAI 同时公开了完整的提示词(约 700 词)和证明 PDF。
提示词的设计本身值得关注。它指示模型假设完整证明存在、禁止搜索互联网、禁止回答"该猜想尚未解决",并分配 8 小时计算预算(模型实际在 1 小时内完成)。64 个子 Agent 中,大多数被刻意隔离信息以鼓励独立探索不同路径,另有对抗性 Agent 专门检查候选证明中的常见错误。曼彻斯特大学数学家 Thomas Bloom 评价该证明"简短、初等、很漂亮",认为"在 1980 年代就可能被发现",但指出缺少对基础前人工作的引用。
需要标注的边界:该证明尚未完成正式同行评审,Bloom 的评价为非正式反馈。部分报道称 OpenAI 已开源 Lean 形式化版本并通过内核查验,但多个独立来源指出正式验证仍在进行中。循环双覆盖猜想在历史上曾有多次声称被证明但后被推翻的先例,最终结论需要数学界完成审查。
取消 5 小时限制,活跃用户 600 万,全量额度重置
7 月 13 日,OpenAI 产品负责人 Tibo 宣布三项运营更新:暂时取消 Codex 和 ChatGPT Work 对 Plus、Business 和 Pro 套餐的 5 小时使用限制;推出 GPT-5.6 Sol 效率优化以降低用户实际消耗量(具体影响数据待后续公布);活跃用户突破 600 万并完成全量额度重置。此前,累计重置(banked reset)功能已向 50 万用户开放并支持网页和移动端操作。Tibo 称"过去 48 小时非常紧张",预告将庆祝 700 万活跃用户里程碑并向全部用户开放首次累计重置。
这些数字标记的是 Codex 作为产品的规模拐点。从 5 小时限制到取消限制,从 600 万到计划中的 700 万用户,OpenAI 正在将 Codex 从"受控测试"推向"大规模开放"。
安全系统负责人离职,安全团队第二次并入研究部门
同一周的 7 月 11 日,据 Wired 首先报道,OpenAI 安全系统负责人 Johannes Heidecke 宣布将于 7 月 24 日前离职。Heidecke 于 2021 年加入 OpenAI,2024 年接任安全系统负责人,主导模型对齐、基于规则的奖励系统和危险能力预备性评估。
与其离职同步的是组织架构调整:安全团队并入首席研究官 Mark Chen 领导的研究部门,Mia Glaese 的头衔从"研究与对齐副总裁"扩展为"研究与安全副总裁",Saachi Jain 担任临时安全系统负责人。Chen 在内部备忘录中表示,"重要的是让安全工作与前沿模型开发整合,在关键的模型、产品和发布决策中更早、更直接地发挥作用。"
TechTimes 统计,Heidecke 是两年内第六位离开或被重组出 OpenAI 的高级安全负责人,此前包括 Ilya Sutskever、Jan Leike、Steven Adler、Andrea Vallone 和本月早些时候离职的 Joshua Achiam。这也是不到两年内 OpenAI 第二次将安全组织并入研究主导的架构。此前的超级对齐团队和使命对齐单元分别在 2024 年 5 月和 2026 年 2 月解散。Heidecke 离职前四天,未来生命研究所在 2026 年夏季 AI 安全指数中给 OpenAI 打出 C 级评分。
放在一起看:能力和规模在加速,治理结构在重组
单独看,Sol Ultra 的数学证明是一次令人印象深刻的能力展示。单独看,取消 5 小时限制和 600 万用户是产品进入规模化阶段的运营信号。单独看,安全负责人离职是一次组织调整。但三件事发生在同一周,放在一起的画面是:OpenAI 正在同时推进能力边界(Sol Ultra 证明 50 年猜想)、扩大用户规模(取消使用限制、全量重置额度)和重构安全治理架构(安全团队并入研究、负责人更替)。
需要克制的判断是:不能因为三件事同一周发生就断言它们之间存在因果关系。安全重组和能力发布可能出于完全独立的决策周期。但一个事实是确定的——当一家公司的能力展示和用户规模都在加速的阶段,也是安全治理结构最不应该处于不稳定状态的阶段。两年内第六位安全负责人离开、第二次将安全并入研究,这个模式本身——无论每一次的具体原因如何——说明 OpenAI 尚未找到一个稳定的安全组织形式。
接下来看三个节点
Sol Ultra 数学证明的验证进展是第一个节点——正式同行评审的结论将决定这是 AI 数学推理的真正里程碑还是又一次"声称证明后被推翻"的循环。Codex 的用户增长速度和 Sol 效率优化后的实际消耗数据是第二个节点——取消 5 小时限制后的使用量模式将决定 OpenAI 在这个产品上的经济模型。Mia Glaese 领导的合并后研究与安全团队能否在下一个前沿模型的发布决策中发挥可见的约束作用,是第三个节点——如果下一次模型发布或能力升级再次引发安全争议,这次重组的效果将被直接检验。