时间：2026年7月10日
地点：美国加利福尼亚州旧金山，OpenAI总部
人物：OpenAI；OpenAI研究员Ethan Knight；曼彻斯特大学数学家Thomas Bloom；数学家George Szekeres（1973年提出者）；Paul Seymour（1979年独立提出者）
事件详情：OpenAI于7月10日宣布，旗下旗舰模型GPT-5.6 Sol Ultra在不到一小时内成功生成了"循环双覆盖猜想"（Cycle Double Cover Conjecture）的完整证明。该猜想是图论领域悬而未决长达50多年的重要难题，由数学家George Szekeres于1973年、Paul Seymour于1979年分别独立提出，猜想指出：对于任意无桥图，是否存在一组循环使得图中的每一条边都恰好出现在两个循环中？OpenAI研究员Ethan Knight在X平台上宣布，Sol Ultra利用64个并行子智能体（subagents）协同工作，动态管理各智能体的研究内容，并安排专门的"对抗智能体"负责寻找漏洞和边界情况。系统原本预留了8小时计算时间，但最终仅耗时约1小时便完成全部证明。OpenAI已将完整证明以PDF形式公开发布。据估算，本次推理的计算成本约为275至485美元（按OpenAI官方Sol定价计算）。
背景：循环双覆盖猜想自1970年代提出以来，被公认为图论最重要的未解难题之一。历史上曾多次出现宣称证明的论文，但后续均被发现存在漏洞。GPT-5.6 Sol是OpenAI于7月9日正式发布的旗舰模型，定价为输入每百万Token 5美元、输出30美元，支持Ultra多智能体并行推理模式。此前AI在数学领域的重要成果（如DeepMind的帽子集合问题研究、纽结理论突破等）都属于人类与AI协同完成，而此次完全由AI独立完成完整证明尚属首次。若通过验证，这将是大语言模型首次独立解决被列入维基百科"未解决数学问题"列表的重要难题。
影响：
- AI科研里程碑——若通过数学界验证，意味着AI首次独立攻克人类50年未解的重大数学难题，标志着AI在数学研究领域实现了质的飞跃。
- 方法论革命——证明本身使用了数十年前就已存在的经典数学工具，表明AI的优势在于拥有远超人类的计算耐心和持续尝试能力。
- 仍需谨慎——数学界指出该证明尚未经过正式同行评审，也未使用Lean等形式化工具验证，图论专家预计需数天至数周严格审查。
- AI推理成本——此次仅数百美元的计算成本即完成重大数学突破，展示了AI推理的高性价比潜力。
总结：OpenAI GPT-5.6 Sol Ultra在一小时内证明50年图论猜想，是AI发展史上的一个重要时刻。曼彻斯特大学数学家Thomas Bloom评价该证明"简洁、基础、使用的方法并不复杂"，并指出"如果当年有人想到，20世纪80年代就有可能完成这一证明"。他也指出AI生成的证明存在不引用已有文献等普遍问题。目前数学界正对证明进行严格审查，只有全部通过验证后，这一成果才能真正获得认可。无论最终结果如何，这一事件都充分展示了AI在数学研究领域的巨大潜力。
参考来源：
- https://www.ithome.com/0/975/646.htm
- https://so.html5.qq.com/page/real/search_news?docid=70000021_9976a52e48f38752
- https://so.html5.qq.com/page/real/search_news?docid=70000021_7346a507a3295652
- https://so.html5.qq.com/page/real/search_news?docid=70000021_8176a50288521952
- https://blog.csdn.net/m0_55861832/article/details/162746591