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 的协助下完成。
- 有评论者指出，LLMs 本质擅长贪婪的深度优先搜索，此次证明的成功很大程度上归功于人类提示词提供了关键的广度搜索方向及反例约束。
- 一位数学家反驳了‘数学价值仅由实用性定义’的观点，认为理解抽象世界中难以证明的奇特现象本身就是独立于人类福祉之外的价值。
- 关于 AI 智能本质的争论中，一方认为模型仅依赖结晶化智能缺乏流体智力，另一方则反驳称模型在特定领域已展现出某种脆弱但真实的流体智力。
- 有从业者质疑证明的可读性与严谨性，认为模型生成的证明存在无关细节和晦涩定义，需要人类介入重写以通过真正的同行评审。
- 针对 AI 对经济的影响，有观点尖锐指出‘工作价值无关经济’是一种特权思维，忽视了大多数人必须通过工作维持生存的现实困境。