GPT-5.6仅用1小时攻破50年数学难题新智元

仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了

7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！

更惊人的是，它在不到一小时内，就产出了一份完整证明。

曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。

现在，这座大山被AI在不到一个小时内踏平了。

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」

网友惊呼：证明令人叹为观止，AI改变数学！

幽灵般盘旋了50年的数学魔咒

循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

简单来说，这个猜想是这样的：「每一个无桥的有限无向图，都存在一个由环组成的集合，使得图中的每一条边，都恰好被包含在两个环中。」

用大白话说，在一个错综复杂的城市道路网中，在这个路网中，没有任何一条道路是唯一通道。

猜想认为：你一定能找到若干条「环状循环公交线路」，使得这个城市里的每一条道路，都恰好有两趟公交车经过。 不多不少，正好两次。

半个世纪以来，数学家们为了证明这个猜想，可谓绞尽脑汁。

Jaeger证明了平面图是成立的；

Szekeres证明了可以进行3边着色的立方图是成立的；

Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

然而，这些都是附加条件，最完整的「完全肯定证明」，却始终无人能够完成，直到GPT-5.6 Sol Ultra的出现。

OpenAI的解法：

不是一个AI在思考，是64个AI在开会

OpenAI是如何让GPT-5.6去攻克这个难题的？

在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

在这个系统中，AI被分裂成了64个并发的独立智能体，组成一支科研特攻队。

提示词中，OpenAI设定了极其严苛的规则，把人类科研踩过的坑，全都让AI避开了。

首先，系统拒绝「千篇一律」，禁止采用「分配N个智能体用X策略」这种死板方法。

在第一轮，必须探索截然不同的路径——从代数视角、结构归纳法、流场表述、嵌入法到极端参数法。

第二点，系统绝对禁止告诉大部分AI目前哪个方案最被看好。

这在人类科研中非常致命——一旦某个大牛提出了一个看起来很美的方向，所有人都会一窝蜂涌过去。