08:49IT之家（博客/媒体）
91°
推荐理由：OpenAI 的 GPT-5.6 Sol Ultra 只用一小时就搞定了一个困扰数学家 50 年的图论难题，用的是 64 个子智能体协作，比人类更有耐心反复试错。
循环双覆盖猜想
共 1 条相关 AI 资讯
7月12日
08:49
OpenAI 于 7 月 10 日宣布，GPT-5.6 Sol Ultra 模型在不到 1 小时内生成了循环双覆盖猜想的完整证明。该猜想是图论领域悬而未决 50 多年的重要难题。证明步骤包括将原猜想归约为三次图问题、利用 8-流定理和 GF(3) 上的线性代数构造。整个证明由 AI 独立完成，但尚未经过正式同行评审，也未使用 Lean 等形式化验证工具。