原文标题：GPT-5.6 仅用 1 小时攻破 50 年数学难题！64 个 AI 摘下图论皇冠 发布时间：2026-07-15 08:53（东八区） 来源：新智元原文

新智元转述称，GPT-5.6 Sol Ultra 解决了「循环双覆盖猜想」：对无桥有限无向图，寻找一个由环组成的集合，让每条边恰好被两个环覆盖。文章称，系统把任务拆给 64 个并发 AI，先在图论结构、群流和线性代数之间寻找证明路径，再由其他智能体审查候选证明。

原文给出的时间尺度是「不到 1 小时」。这类结果真正难的部分不只是生成一条漂亮的证明，还包括证明全文、形式化验证与数学界复核。

边界：本文只提炼新智元的转述。当前可见原文没有直接提供 OpenAI 公告、证明 PDF 原件或独立同行评审结论，因此「已攻破」保持原文称口径，不等同于学界已确认定理。