OpenAI 模型 GPT-5.6 Sol Ultra 一小时证明图论 50 年难题

OpenAI 于 7 月 10 日宣布，其模型 GPT-5.6 Sol Ultra 在不到一小时内成功生成了“循环双覆盖猜想”的完整证明，这是图论领域悬而未决 50 多年的重要难题。该猜想由数学家 George Szekeres 和 Paul Seymour 分别于 1973 年和 1979 年提出，指出任意无桥图是否都存在一组循环，使得每条边恰好出现在两个循环中。

OpenAI 研究员 Ethan Knight 在 X 平台表示，模型利用 64 个子智能体动态协作，通过对抗智能体检查漏洞，最终在约 1 小时内完成证明，而非系统预留的 8 小时。证明步骤包括将猜想归约为三次图问题、利用 8-流定理和线性代数构造边标记。

英国数学家 Thomas Bloom 评价该证明“简洁、基础”，认为 AI 的优势在于远超人类的耐心和持续尝试能力。但他指出，证明未引用任何已有文献，如 1983 年的经典论文。目前该证明尚未通过正式同行评审，也未使用形式化工具验证，数学界对此保持谨慎。

如果最终通过验证，这将是大型语言模型首次独立解决维基百科“未解决数学问题”列表中的难题。此前 AI 在数学领域的突破多为人机协同完成。图论专家预计将在数天至数周内对证明进行严格审查。