时间：2026年7月10日发布，7月12日公开宣布
地点：美国加利福尼亚州旧金山（OpenAI总部）
人物：OpenAI、研究员Ethan Knight、英国曼彻斯特大学数学家Thomas Bloom
事件详情：OpenAI于7月10日宣布其旗舰模型GPT-5.6 Sol Ultra在不到1小时内成功证明了「循环双覆盖猜想」（Cycle Double Cover Conjecture），这是一个悬而未决长达50多年的图论重要难题。该猜想由数学家George Szekeres于1973年和Paul Seymour于1979年分别独立提出，核心问题是：对于任意无桥图（bridgeless graph），是否都存在一组循环使得每条边恰好出现在两个循环中？OpenAI研究员Ethan Knight在X平台公布了这一成果，表示模型利用64个并行子智能体（subagents）动态协作，早期阶段保持研究路线多样性，同时安排专门的对抗智能体寻找漏洞和错误，最终仅耗时约1小时便完成完整证明。OpenAI已将证明以PDF形式公开发布。
背景：循环双覆盖猜想是图论领域最重要的公开难题之一，此前已被列入维基百科"未解决数学问题"列表。历史上出现过多次声称完成证明的论文，但后来均被发现存在漏洞。此次AI独立完成完整证明尚属首次。此前AI在数学领域的重要成果（如DeepMind的帽子集合问题研究、纽结理论突破等）均属于人类与AI协同完成。GPT-5.6 Sol Ultra被要求最多同时调用64个并行子智能体，并禁止联网搜索、拒绝仅证明特殊情况，必须通过对抗式验证检查常见错误。整篇证明使用经典数学工具，将猜想归约为三次图问题，利用8-流定理和GF(3)线性代数构造边标记，最终完成证明。
影响：
- 科学研究范式变革——如果通过验证，这将是大型语言模型首次独立解决被列入维基百科「未解决数学问题」列表的重要难题，标志着AI从辅助工具迈向独立科研者的历史性跨越
- AI推理方法论突破——64个并行子智能体协同工作、对抗智能体验证错误的模式，为AI解决复杂科学问题提供了全新方法论范式，展示了多智能体协作在科学研究中的巨大潜力
- 计算成本与效率的双重优势——根据估算，完成本次推理的计算资源成本仅约275至485美元（按OpenAI Sol定价），展示了一种人类无法企及的"计算耐心"，数学家Bloom评价其优势在于拥有远超人类的持续尝试能力
总结：OpenAI GPT-5.6 Sol Ultra在一小时内证明50年图论猜想，是AI在数学研究领域的一项重大里程碑。与以往人类与AI协同完成不同，此次证明由AI独立完成全部推导，展示了多智能体协作系统的强大潜力。曼彻斯特大学数学家Thomas Bloom评价该证明"非常漂亮""简洁而基础"，但也指出AI论文目前普遍缺少文献引用等问题。目前该证明尚未经过正式同行评审，数学界预计将在数天至数周内进行严格审查。如果最终通过验证，这将彻底改变人们对AI在科学发现中角色的认知，标志着AI已具备独立从事原创性科学研究的能力。
参考来源：
- https://www.ithome.com/0/975/646.htm
- https://the-decoder.com/
- https://x.com/sama/status/2075985056846451123
- https://openai.com/