OpenAI GPT-5.6 Sol Ultra 一小时内证明循环双覆盖猜想
OpenAI的GPT-5.6通过64个智能体协作和严格纠错，一小时破解50年数学难题，展示AI在复杂推理上的潜力。
循环双覆盖猜想（图论中一个悬置50年的难题：任何无桥图都存在一组环覆盖每条边恰好两次）被GPT-5.6 Sol Ultra在一小时内攻克。OpenAI让64个AI智能体并行探索不同策略，并设置纠察队反驳错误论证，最终产出完整证明。
正文摘录
 新智元报道  【新智元导读】 仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！  更惊人的是，它在不到一小时内，就产出了一份完整证明。  曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。 现在，这座大山被AI在不到一个小时内踏平了。 OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」  网友惊呼：证明令人叹为观止，AI改变数学！