GPT-5.6 Sol Ultra据称证明50年猜想
The Decoder··作者 Matthias Bastian
关键信息
这个猜想讨论的是：是否可以把图分解为若干个循环，使每条边恰好被覆盖两次；文章称该证明简短、基础，并没有使用新的数学理论。Bloom表示其核心思想至少可追溯到1983年Bermond、Jackson和Jaeger的论文，并认为缺少引用是这篇写作中的一个严重问题。
资讯摘要
OpenAI据称宣布，GPT-5.6 Sol Ultra已经生成了循环双覆盖猜想的完整证明，而这个图论问题大约已经悬而未决50年。根据报道，该模型通过64个子代理并行工作，在不到一小时内完成了这项任务。这个猜想的核心问题是：对于符合条件的图，是否能找到一组循环，使每条边都恰好出现两次。该问题在20世纪70年代由多位数学家独立提出，之后虽然出现了许多针对特殊情形的部分结果，但一直没有被广泛接受的通用证明。曼彻斯特大学数学家Thomas Bloom称这份证明“很漂亮”，并表示它短小、基础，几十年前就有可能被发现。
他认为这份证明并不需要新的数学理论，而是巧妙地组合了已知工具。Bloom还猜测，真正关键的可能是一个很小、甚至有些反直觉的步骤；人类数学家往往在最自然的方法失败后就会放弃，而AI会持续尝试许多变体。与此同时，他指出论文没有引用更早的相关工作，其中包括一篇1983年由Bermond、Jackson和Jaeger撰写的论文，而他认为这些前人研究对结果影响很大。Bloom把这种缺少引用的问题称为AI生成数学论文中的常见毛病，并表示学界目前仍没有完成对该证明的正式全面验证。
来源与参考