时间：2026年7月10日（公布日）/ 7月12日（详细报道）
地点：美国加州旧金山（OpenAI总部）
人物：OpenAI公司；OpenAI研究员Ethan Knight；英国曼彻斯特大学数学家Thomas Bloom
事件详情：2026年7月10日，OpenAI宣布其旗舰模型GPT-5.6 Sol Ultra在不到1小时内成功证明了图论领域长达50多年的重要难题——"循环双覆盖猜想"（Cycle Double Cover Conjecture）。该猜想由数学家George Szekeres于1973年和Paul Seymour于1979年分别独立提出，核心命题是：对于任意无桥图，是否都存在一组循环使得图中每条边恰好出现在两个循环中。GPT-5.6 Sol Ultra协调64个并行子智能体，分别尝试不同数学表示方法和代数思路，同时安排专门的对抗智能体寻找漏洞，最终仅用约1小时完成完整证明。OpenAI已将证明全文以PDF形式公开发布。
背景：GPT-5.6系列模型于7月9日正式全面开放，包含旗舰版Sol、均衡版Terra和轻量版Luna三档模型。Sol支持Ultra模式，可默认协调4至64个AI代理并行处理复杂任务。循环双覆盖猜想是图论领域最核心的公开难题之一，此前曾在arXiv上出现过多次声称完成的证明，但最终均被发现有漏洞。如果该证明最终通过数学界严格验证，将是大型语言模型首次独立解决被列入维基百科"未解决数学问题"列表的重要数学难题。
影响：
- 数学研究范式变革——AI首次独立完成重大数学猜想证明，开创AI自主数学发现先河；
- 计算资源成本极低——据估算仅需约275-485美元计算成本，远低于人类数学家数十年未能解决的成本；
- 引发学术界对AI在数学领域能力边界的新思考——数学家Bloom指出AI最大优势在于远超人类的持续尝试能力；
总结：GPT-5.6 Sol Ultra的这项突破标志着AI从辅助人类研究的工具向独立科研主体的转变迈出了关键一步。不过，该证明目前尚未经过正式同行评审，也未使用Lean等形式化证明工具验证，数学界将在未来数天至数周内对每一个推导步骤进行严格审查。无论最终结果如何，AI在数学推理领域的巨大潜力已经被充分展现。
参考来源：
- https://www.ithome.com/0/975/646.htm
- https://blog.csdn.net/w776341482/article/details/162762586
- https://blog.csdn.net/Niceyun/article/details/162736218
- https://so.html5.qq.com/page/real/search_news?docid=70000021_8176a50288521952