OpenAI 在自己的 CDN 上挂了一份只有 3 页的 PDF，标题干脆到不能再干脆：《A Proof of the Cycle Double Cover Conjecture》。这是图论里悬了将近半个世纪的公开问题，提出者名单里有 Tutte、Seymour 这样的大牌。PDF 里写得很直接：证明完全出自 GPT-5.6 Sol Ultra，写作由 Codex 和 GPT-5.6 Sol 协助完成。没有作者署名，没有机构联署，只有一份挂在链接下的技术笔记。这事最扎眼的地方不是"AI 又秀了一次肌肉"，而是它把一份重大数学声明的验证责任，直接甩给了整个数学共同体。
猜想说的是什么，证明走的哪条路
圈双重覆盖猜想大意很简单：任何一个没有桥边的无向图，都能找到一组圈，让每条边恰好被这组圈覆盖两次。它由 Tutte、Itai 和 Rodeh、Szekeres、Seymour 先后提出，是图论里少数几个"人人都懂题意、几十年没人拿下"的公开问题。
PDF 里的证明路线大致是：先用标准手法把问题约化到三正则图；再借助 8-flow 定理，给每条边标上 F₂³ 里的非零元素，让每个顶点处的和为零；最后把这个标号"翻译"成一组两元素集合，通过一段线性代数论证，构造出满足条件的圈覆盖。整份证明只有一条引理链条，没有旁枝，读起来更像一份精炼的技术笔记，而不是一篇准备投期刊的完整论文。
3页纸挑战50年悬案，压力在哪
反常的地方不是证明"太短"，而是这个题目"太老"。一个悬置近五十年、被 Jaeger 写过专门综述的猜想，如果真被拿下，通常伴随大量交叉验证、多个独立小组复核、期刊评审拉锯——历史给过一次极具警示性的先例：1879 年 Kempe 宣称证明了四色定理，论文被认可了十一年，直到 1890 年 Heawood 才指出其中的漏洞。图论史上最出名的一次证明事故，恰好也发生在类似的覆盖式论证上。两者不完全一样——Kempe 面对的是人类同行评审，这次要核的是模型的推理链条，难度性质并不相同，但结构上的教训是相通的：一份看起来完整的证明，被广泛接受和被真正验证，是两件事。
OpenAI 这份 PDF 目前只是一次声明，不是被接受的证明。看不到期刊投稿记录，也看不到第三方数学家联署复核的痕迹。三页纸能不能扛住数学共同体的显微镜式审查，现在完全是未知数。
- 风险.证明中任何一步线性代数论证若存在漏洞，都需要专业数学家逐行核对才能发现，这类核对通常以月甚至年计。
我的判断
如果这份证明经得起验证，它会是 AI 数学能力一次真正的分水岭——不是刷竞赛题排名，而是拿下一个数学家自己几十年都没拿下的公开问题。但"模型证明了猜想"这句话现在只能算半成品，权威不会因为写在 OpenAI 的抬头下面就自动生成。
权威长不出模型的名字，只能长在验证的时间里。
我更在意的是发布方式：没有配合数学界惯常的预印本流程，没有邀请领域专家联署审阅，直接甩出一份挂在 CDN 上的 PDF。这种打法在产品发布上很熟悉，放在数学证明上却是新鲜事——用互联网的速度，去闯一个原本靠十年打磨信任的领域。天下熙熙，皆为利来，一次抢先宣称的时间差，对讲故事的人价值巨大，对真正验证证明的人却什么都换不来。
- 结论.接下来最该盯的不是模型又叫什么名字，是有没有独立数学家给出复核意见——那才是这份 PDF 从"声明"变成"定理"的唯一路径。