7月11日，OpenAI官方宣布：GPT-5.6 Sol Ultra在不到一小时内，成功攻克了困扰数学界长达50年的“循环双覆盖猜想”！这不仅是50年难题的终结，更标志着AI在逻辑推理领域实现了质的飞跃。OpenAI研究员Noam Brown感叹道：“这创造奇迹的模型，是今天对所有人公开可用的！”
**悬而未决的数学魔咒：循环双覆盖猜想**
循环双覆盖猜想是图论领域的“皇冠级”难题之一，由Tutte、Szekeres、Seymour等传奇数学家在上世纪各自独立提出。其核心命题是：在任何一个无桥的有限无向图中，都存在一组环，使得图中的每一条边，都恰好被包含在两个环中。
通俗来说，这就像在一个没有死胡同（无桥）的复杂城市路网中，总能规划出若干条“环状公交线路”，让每一条道路都恰好被两趟公交车经过，不多不少，正好两次。半个世纪以来，尽管Jaeger、Szekeres等数学家在特定条件下证明了该猜想，但完整的证明始终未能问世，直到GPT-5.6 Sol Ultra的出现。
**OpenAI的解法：64个AI组成的“科研特攻队”**
OpenAI是如何让GPT-5.6攻克这一难题的？秘密在于其引入的“并行测试时计算”（TTC）机制。
在解题过程中，AI被拆解为64个并发的独立智能体，形成一个高效的协作网络。提示词工程起到了关键作用，系统设定了严苛的规则以避免人类科研中的常见陷阱：
1. **拒绝路径同质化**：禁止所有智能体采用单一策略，强制要求第一轮探索代数、结构归纳、流场、嵌入等多种截然不同的路径。
2. **打破信息茧房**：严禁在早期向大部分智能体透露哪个方向最被看好，防止“大牛效应”导致的资源浪费。
3. **“杠精”纠察队机制**：专门设立智能体对候选证明进行疯狂攻击，核查边缘是否真的覆盖两次、归纳法是否有漏洞、是否引入了桥等，只有通过严格审查的证明才能进入下一轮。
4. **拒绝“画大饼”**：严禁使用“显然成立”等模糊表述，必须提供具体的引理、构造或方程。
系统命令AI“至少思考8小时”，但令人惊叹的是，这群AI特攻队仅用不到1小时就完成了从问题拆解到输出严谨论文的全过程。
**一小时奇迹：AI的“降维手术”**
打开证明全文，我们可以看到GPT-5.6 Sol Ultra精妙的推理路径，堪称一场精妙的“降维手术”：
1. **化繁为简**：首先确认前人Jaeger的结论，将问题锁定在“无环立方图”上，因为所有图均可拓扑变换为立方图范畴。
2. **引入8-流定理**：利用Tutte的群流定理，将图上的每条边赋予有限域中的非零向量标签，确保每个路口流出流入的向量和为零。
3. **构建双元素集标签法（Lemma 2.1）**：AI提出引理，如果能给每条边分配一个包含两个元素的集合，且在任意顶点，每个元素要么出现0次要么出现2次，则图必有循环双覆盖。这相当于给每条路发两块车牌，保证路口进出同色车牌成对。
4. **线性代数降维打击（Lemma 2.2）**：如何找到这些“车牌”？AI将拓扑问题转化为线性代数方程组。通过对偶向量空间的构建和映射，证明该方程组永远有解。当推导出最终结果等于0时，证明圆满结束。
**解题秘诀：测试时计算（TTC）**
这一突破引发了AI圈和数学界的震动。OpenAI研究员Noam Brown指出，GPT-5.6 Sol Ultra的核心在于“并行测试时计算”。通过扩大并行度，原本可能需要数天甚至数周的计算量被压缩到了一小时，实现了算力与时间的完美置换。
网友对此反应不一。有人惊叹于并行推理重新定义了计算边界，也有人指出“64个智能体的广度是否能完全替代单线的深度思考”仍是疑问。更有网友建议OpenAI邀请陶哲轩等顶尖学者加入，以激发更多创意。
**迈向AGI/ASI的一步**
尽管尚有质疑，但GPT-5.6能在1小时内自主完成从问题拆解、模型构建到输出严谨论文的全过程，无疑证明了AI在抽象逻辑推理上已超越人类。今天，64个AI能在一小时内解决50年的难题；未来，随着算力和并行度的指数级增长，攻克癌症、可控核聚变等人类难题或许只是时间问题。我们离通用人工智能（AGI）乃至超级人工智能（ASI），又近了一步。