2026年7月，AI圈迎来一个足以载入史册的时刻。7月10日，OpenAI正式发布GPT-5.6系列三款模型——旗舰版Sol、高效版Terra、极速版Luna。就在发布次日，GPT-5.6 Sol Ultra便交出了一份震惊数学界和AI界的答卷：在不到一小时内，成功证明了图论领域悬而未决长达50多年的“循环双覆盖猜想”（Cycle Double Cover Conjecture）。
一道困住数学家半个世纪的难题
循环双覆盖猜想由数学家George Szekeres于1973年、Paul Seymour于1979年分别独立提出。该猜想的核心问题是：对于任意无桥图（即删除任意一条边都不会断开整张图的连通图），是否总能找到一组“圈”（首尾相接的闭合路径），使得图中的每一条边都恰好被这些圈覆盖两次？
这一问题长期被视为图论最重要的公开难题之一。50多年来，无数数学家尝试攻克却始终未能成功，堪称图论领域的“圣杯”之一。
AI如何做到的？
OpenAI研究院Ethan Knight在X平台宣布这一成果时透露，GPT-5.6 Sol Ultra利用64个子智能体（sub-agents）并行工作，在不到一小时内完成了证明。
根据OpenAI公布的约700词的提示词（Prompt），整个系统被设计得极为精密：
-
最多同时调用64个并行子智能体，动态管理工作分配
-
早期阶段保持研究路线多样性，让不同智能体分别尝试不同数学表示方法、代数思路和结构归纳
-
设置专门的“对抗智能体” ，负责寻找漏洞、边界情况和潜在错误
-
禁止联网搜索，拒绝仅证明特殊情况，必须通过对抗式验证
虽然系统原本预留了8小时计算时间，但最终仅耗时约1小时便完成全部证明。
证明的核心思路颇为巧妙：GPT-5.6并没有直接在图中寻找圈，而是将“找圈”问题转化为有限域上的边标号问题，再用线性代数证明这些标号一定能在整张图上拼起来。具体分为四步：将一般图归约为三次图；利用8-流定理给每条边贴标签；将单标签扩展为双标签；最后将局部协调问题转化为线性方程组并证明有解。最终，相同标签的边自动组成圈，每条边恰好被两个圈覆盖。
意义何在？
英国曼彻斯特大学数学家Thomas Bloom是最早公开评价这份证明的学者之一。他认为 “这是一个非常漂亮的证明” ——简洁、基础、使用的方法并不复杂，“如果当年有人想到，20世纪80年代就有可能完成这一证明”。
Bloom指出，AI最大的优势并非提出全新的数学思想，而是在不断尝试各种细微变化时拥有远超人类的耐心。“人类数学家通常会尝试一种自然的方法，如果失败了，很可能就会放弃；而AI不会因此气馁，会继续不断尝试各种细微变化。”
正在韩国参加ICML的Noam Brown（o1核心贡献者）也第一时间表态，强调这次与以往的AI数学突破不同，不靠内部特供模型，靠的是公开可用的GPT-5.6 Sol Ultra。这意味着，任何用户都有机会使用同样的模型去探索未知的科学问题。
争议与局限
当然，这一成果并非没有争议。
首先，证明尚未经过正式同行评审。将PDF上传至公司CDN，与正式发表经过同行评审的数学论文是完全不同的两件事。循环双覆盖猜想历史上已多次出现过所谓“证明”，后来均被发现存在漏洞。
其次，整篇证明没有引用任何已有文献。例如1983年Bermond、Jackson和Jaeger的经典论文本应被引用却完全没有出现。Bloom认为，这是目前AI自动生成数学论文普遍存在的问题。
此外，这份证明也没有使用Lean等形式化验证工具进行机器验证，这意味着证明的正确性仍需人工逐一核查。
展望
无论如何，GPT-5.6 Sol Ultra在一小时内攻克50年数学难题的事实，标志着AI已从“辅助工具”向“独立科学发现者”迈出了关键一步。
就在同一天，Meta发布了Muse Spark 1.1大模型，SpaceX AI宣布Grok 4.5向公众开放。7月17日至20日，2026世界人工智能大会（WAIC）将在上海召开，届时华为Atlas 950超节点、MiniMax M3多模态大模型、全球首款AI智能体手机等重磅新品将集中亮相。
2026年7月，注定成为AI发展史上的一个重要节点——当AI开始独立解决困扰人类半个世纪的数学难题，我们或许正在见证科学发现范式的根本性变革。
