OpenAI证明了图论中著名的“循环双覆盖猜想”，这个数学进展还是挺大的

GPT-5.6 Sol Ultra 用 64个子代理不到一小时内完成证明，很大的突破。主要是这问题不难理解，但是提出50年一直没解决。

循环双覆盖猜想（Cycle Double Cover Conjecture，CDC），是数学家George Szekeres（1973年）和Paul Seymour（1979年）独立提出，是图论领域最重要的未解难题之一。

一张由节点和边构成的地图，在这张地图上规划多条环路，要求：每条边恰好被两条不同的环路覆盖。例如城市公交系统：每条街道必须且只能被两条环形公交线路服务，不多不少。

简单观察是，这图不能包含"桥"，也就是一种边，一旦删除整张图会分成互不连通的两部分。显然，桥不可能属于任何环路，存在桥，要求就无法满足。

CDC猜想是：只要图里没有桥，就能找到多条环路双重覆盖。猜想不难理解，但是人类数学家就证明不了。

OpenAI给了严格提示词，让64个智能体死命探索不同方向，不许放弃，1小时不到就证明出来了。这对数学界来说绝对非常震撼。如果检查证明是对的，数学家都要投降了。