主要来源IT之家
查看原文事件专题 · 多源确认
OpenAI GPT-5.6 Sol Ultra 一小时证明 50 年数学猜想
OpenAI 于 7 月 10 日宣布，GPT-5.6 Sol Ultra 模型在不到 1 小时内生成了循环双覆盖猜想的完整证明。该猜想是图论领域悬而未决 50 多年的重要难题。证明步骤包括将原猜想归约为三次图问题、利用 8-流定理和 GF(3) 上的线性代数构造。整个证明由 AI 独立完成，但尚未经过正式同行评审，也未使用 Lean 等形式化验证工具。
当前结论
OpenAI 的 GPT-5.6 Sol Ultra 只用一小时就搞定了一个困扰数学家 50 年的图论难题，用的是 64 个子智能体协作，比人类更有耐心反复试错。
11 个信源91° AI 热度最后更新 2026/7/12 00:44:43
证据链
相关来源 1Decoder
查看原文相关来源 2SuperTechFans
查看原文相关来源 3shao__meng
查看原文相关来源 4elvis
查看原文相关来源 5AI Will
查看原文相关来源 6Rowan Cheung
查看原文相关来源 7@OpenAIDevs
查看原文相关来源 8OpenAI
查看原文相关来源 9Greg Brockman
查看原文相关来源 10Sam Altman
查看原文冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。