GPT-5.6 Sol Ultra 证明循环双覆盖猜想

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

数学界迎来历史性突破！OpenAI 的 GPT-5.6 Sol Ultra 成功证明了困扰学界多年的 Cycle Double Cover Conjecture。这篇由 AI 独立完成的论文指出，每个无桥无向图都存在一组覆盖每条边恰好两次的圈。证明过程巧妙地利用了 8-flow theorem 和 Tutte 的相关成果，将复杂的图论问题转化为线性代数论证。更令人惊叹的是，从核心证明到论文撰写，全程均由 GPT-5.6 Sol Ultra 主导，Codex 协助完成。这不仅是图论领域的里程碑，更是 AI 在解决高深数学难题上展现出的惊人能力，标志着人工智能从辅助工具向独立研究者的跨越。

"本笔记中的证明完全归功于 GPT 5.6 Sol Ultra，而论文撰写则由 Codex 在 GPT 5.6 Sol 的协助下完成。"