仅用一小时，OpenAI GPT-5.6 Sol Ultra 证明了一个已有 50 年历史的数学猜想

admin

AI 总结
• 7月10日，OpenAI宣布GPT-5.6 Sol Ultra在不到一小时内成功证明了图论中悬而未决50多年的“循环双覆盖猜想”，并用64个子智能体独立完成证明。
• 该猜想由数学家George Szekeres于1973年、Paul Seymour于1979年分别提出，核心问题是：任意无桥图是否存在一组循环使每条边恰好出现在两个循环中。
• 证明主要步骤包括将问题归约为三次图、利用8-流定理、通过GF(3)线性代数构造边标记。
• 系统原本预留8小时计算时间，实际仅耗时约1小时。
• 数学家Thomas Bloom评价证明“简洁、基础”，但指出整篇证明未引用任何已有文献（如1983年Bermond等人的经典论文），且目前未经同行评审，也未使用形式化验证工具。
• 此次推理消耗的计算资源成本约为275至485美元（Sol平台），若最终通过验证，将是大型语言模型首次独立解决维基百科“未解决数学问题”列表中的难题。