一份只有三页的 PDF，把数学圈和 AI 圈同时拽到审稿桌前。
OpenAI 放出的循环双覆盖猜想证明，署名栏没有某位图论专家，写的是 GPT-5.6 Sol Ultra 与 Codex。它声称处理了一个延续近半个世纪的图论难题；眼下更硬的关口，是这三页能不能经得住人类数学家逐行验算。
**这条新闻的分量，不在“AI 又会做题了”，在于 OpenAI 把证明稿和完整 prompt 一起公开了。**外界第一次可以同时看到结果、任务定义、约束条件和多智能体调度要求，而非只听发布会里一句模型能力升级。
三页证明先进入审稿桌
循环双覆盖猜想说的是一类无桥图：能否找出若干个圈，让图里的每一条边都刚好被经过两次。这个表述很短，难点却卡在全局协调上。给某一条边补一个圈，常常会顺手把另一条边的覆盖次数弄乱；局部能修，整张图未必能一起收敛。
OpenAI 这份证明稿给出的路线，是先把一般情形归约到三次图，再借助无处为零的 8-flow 定理，把边贴上有限域里的非零标签。后半段把“找圈”改写成“让边两端标签一致”的线性方程组，并用对偶空间与奇偶性说明方程有解。
proof PDF 的说法很直接：
“The proof in this note is entirely due to GPT 5.6 Sol Ultra.” 中文意思是：这份证明由 GPT-5.6 Sol Ultra 完成。
这句话足够醒目，也足够需要谨慎。数学证明和模型 benchmark 不同，跑分可以先看曲线，证明必须看每一个引理、每一次归约、每个边界条件。Developers Digest 在跟进里也把口径压得更稳：OpenAI 给出的是一份 claim，数学社区正在验证它能否成立。
64 个子智能体怎么被用起来
比证明本身更容易被工程师复用的，是 OpenAI 同步公开的 prompt。它没有把任务拆成“第一步做什么、第二步做什么”的流程表，改用一套很细的验收标准压住边界。
prompt 里明确定义了图、桥、圈、多重图、平行边和空图；它还列出哪些结果不合格：只证明特殊图类不算，把原难题转成另一个未证明猜想不算，靠固定规模的计算验证也不算。
最有信息量的是多智能体段落。prompt 写明最多可调用 64 个 concurrent agents，但要求动态管理搜索路线：先保留互相独立的证明思路，再按进展重新分配资源，并持续安排对抗性智能体找漏洞。
其中一句收口条件很硬：
“Return only when a complete affirmative proof has been found and survives adversarial audit.” 中文意思是：只有完整肯定证明通过对抗审查，才允许返回。
这比“请认真推理”有效得多。它把模型容易糊弄过去的地方提前封住：不能报喜式汇报进展，不能把闭合迹误称为圈，不能漏掉平行边组成的二边圈，也不能在归约里偷偷引入桥。
看点在验证，不在欢呼
量子位报道里提到，这次运行用不到一小时，动用了 64 个子智能体，最后产出三页证明 PDF；OpenAI 的 prompt PDF 则显示任务要求“至少 8 小时后再考虑返回或放弃”。这两组数字放在一起，反而形成一个耐看的细节：模型收到的是长时间攻坚指令，实际系统却把并行搜索铺开，把路径压缩进一个很短的墙钟时间。
这对 AI 科研工具的启发很具体。模型本体当然重要，但任务合约同样重要。一个复杂任务想让模型少走歪路，需要给它三样东西：
- 清楚的数学对象和边界条件；
- 明确的失败清单；
- 与生成过程分离的审查角色。
把这套方法搬到中文技术团队的日常里，未必是让模型去证明猜想，更多会落在代码迁移、安全审计、复杂故障复盘和长链路数据分析。很多任务失败，并非模型完全不会做，常见病灶是目标太虚、验收太松、检查者和生产者混在一个角色里。
现在还不能写成定案
这件事最容易被写跑偏。循环双覆盖猜想如果被确认解决，会是图论里的大事；如果 proof 里某个归约或线性代数步骤藏着漏洞，它也会成为一次高质量的 AI 科研压力测试。
所以短期内更该盯三件事。
第一，图论专家是否能独立复核证明。三页长度降低了阅读门槛，但也意味着每个省略步骤都要补上。
第二，OpenAI 是否给出完整运行日志、子智能体轨迹或内部审查记录。prompt 和结果已经公开，中间过程仍决定外界能否判断“64 个智能体”到底怎样收敛。
第三，后续是否出现可机器检验版本。数学社区接受一个结果，靠的从来并非发布方名气；Lean、Coq 这类形式化验证如果跟上，争议会少很多。
这三页 PDF 现在像一张入场券。它把 GPT-5.6 Sol Ultra 送进了数学审稿流程，也把多智能体 prompt 从玄学讨论拖到了可检查样本上。最终结论可能是一次突破，也可能是一次漏洞公开课；无论哪种结果，AI 做科研的门槛都被抬高了。
参考来源：量子位、OpenAI proof PDF、CocoLoop、OpenAI prompt PDF、Developers Digest；核验 GPT-5.6 Sol Ultra 署名、三页证明、64 个子智能体、prompt 验收条件与未同行评议口径。