一、50年的难题，1小时搞定
7月10日，OpenAI宣布旗下GPT-5.6 Sol Ultra模型在不到1小时内，成功生成了"循环双覆盖猜想"的完整证明。这个猜想从1973年被提出，困扰数学界超过50年。
简单说，这个猜想问的是：对于任意一种没有"桥"的图，能不能找到一组环，让每条边恰好出现在两个环里？听起来不复杂，但证明起来极难。
更关键的是——整套证明由AI独立完成，没有人类参与推导。OpenAI把证明和提示词都公开了，谁都可以去检查。
二、64个子智能体协作，成本不到500美元
GPT-5.6 Sol Ultra是怎么做到的？核心机制是多智能体协作：
- 64个并行子智能体同时工作，各自尝试不同的数学路径
- 早期阶段保持路线多样性——有的走代数思路，有的走结构归纳
- 专门安排了"对抗智能体"，负责找漏洞、查边界情况
- 禁止联网搜索，拒绝不完整证明，必须通过对抗式验证
系统预留了8小时计算时间，结果1小时就搞定了。按OpenAI官方定价，成本大约275到485美元。如果用Cerebras平台跑，最高可能1.3万美元——但对一个50年未解的数学难题来说，这个成本几乎可以忽略。
三、数学家怎么看？漂亮，但有个大问题
英国曼彻斯特大学数学家Thomas Bloom是最早公开评价的人之一。他说：
"这是一个非常漂亮的证明。"
Bloom认为，这份证明用的方法并不复杂，如果当年有人想到，80年代就可能完成。AI最大的优势不是提出全新数学思想，而是拥有远超人类的耐心——人类数学家试了一种方法失败后往往会放弃，AI会不断尝试细微变化。
但他指出了一个明显问题：整篇证明没有引用任何已有文献。比如1983年Bermond、Jackson和Jaeger的经典论文本该被引用，却完全没出现。这是目前AI自动生成数学论文的通病——它能推导，但不尊重学术传承。
四、还没验证，别急着欢呼
需要强调几点：
- 证明尚未经过正式同行评审，上传PDF到公司CDN不等于发表
- 循环双覆盖猜想历史上出现过多次"证明"，后来都被发现漏洞
- 这份证明没有用Lean等形式化工具验证，目前图论的形式化数学库还不够支撑这么复杂的定理
图论专家预计会在未来几周内逐条审查。只有全部通过，才能真正获得数学界认可。
这件事的真正影响
如果证明最终通过验证，这将是大型语言模型首次独立解决维基百科"未解决数学问题"列表上的重要难题。之前AI在数学上的突破（比如DeepMind的帽子集合问题），都是人机协作完成的。
但我觉得更有意思的信号是：AI的"耐心优势"正在变成一种新的研究范式。不是AI比人类更聪明，而是它不会因为失败而放弃。当64个智能体同时从不同角度冲击一个问题，总有一个能撞开缺口——这种暴力穷举+智能分派的模式，可能会改变很多领域的研究方式。
当然，学术规范的问题也摆在面前：不引用文献的"原创证明"，到底算不算学术贡献？这个问题，可能比猜想本身更难回答。
评论区