北京
周三下午，一个数学猜想被扔进对话框，64个AI智能体同时开工。有的在试代数思路，有的在画图，还有几个专职找茬。一小时后，系统弹出结果：证明完成。人类数学家们得花几天时间逐行检查，但这帮AI从头到尾零人工干预。
OpenAI在7月10日宣布了这项成果。GPT-5.6 Sol Ultra用不到一小时跑完了“循环双覆盖猜想”的完整证明。这个猜想1973年由George Szekeres提出，1979年Paul Seymour独立重提，在图论圈子里悬了50多年没解决。问题本身不难描述：任何一个没有桥的图，能不能找到一组环，让每条边恰好出现在两个环里？听上去简单，证明起来是另一回事。
OpenAI研究员Ethan Knight在X平台上发了贴。他说GPT-5.6刚对所有用户开放，隔天就交了这份成绩单。64个子智能体并行工作，走的不是一条路，而是多条路线同时推。
64个AI打配合，有人负责推导有人负责拆台
OpenAI公布了整套提示词和生成的PDF证明。提示词给模型定的规矩挺细：最多调用64个并行子智能体，动态分配任务，早期阶段必须保持研究路线多样性，不同智能体分别尝试不同数学表示方法、代数思路、结构归纳。最特别的是专门安排了“对抗智能体”，他们的活是挑刺——找漏洞，翻边界情况，挖潜在错误。
提示词还下了几道死命令：不许联网查资料，不许只证明特殊情况拿半成品糊弄，所有结论必须过对抗式验证，还得检查常见数学错误。系统本来预留了8小时，结果1小时就跑完了。
三条核心思路：归约到三次图、8流定理、三元有限域标记
证明的主线可以拆成三步。第一步把原始猜想归约到三次图问题上，缩小战场。第二步用了8流定理。第三步在GF(3)三元有限域上做线性代数构造，给每条边打上标记，最终证明每条边确实能恰好属于两个环。
曼彻斯特大学数学家Thomas Bloom是第一批公开评价这份证明的人。他说证明本身“非常漂亮”，简洁、基础，没用什么花哨工具。他觉得这套方法如果在20世纪80年代被人想到，当时就能做出来。Bloom的原话是，人类数学家试一种自然方法失败了多半就放弃，AI不会因此丧气，会一直试各种细微变化。
没有参考文献，没走同行评审：现在还只是“上传PDF”
但Bloom也指了一个硬伤。整篇证明没有引用任何已有文献，比如1983年Bermond、Jackson和Jaeger那篇经典论文本该出现，却完全缺席。他认为这是AI自动生成数学论文的普遍毛病。
更大的悬念在于验证。现在这份证明没经过正式同行评审，上传到公司CDN和在期刊上发表是两码事。过去几年arXiv上冒出过不少声称证明了这个猜想的论文，后来都被找到漏洞，有的直接撤稿。数学界这次反应谨慎。证明也没有用Lean之类形式化工具做机器验证，业内人士说图论相关的形式化数学库目前撑不起这种级别的研究型定理，短期没法靠自动工具验真伪。
推理成本约两千到九千元，如果过了验证意味着什么
跑这么一次的成本有业内人士估了笔账。按OpenAI官方Sol定价，大约275到485美元，合人民币1867到3293元。如果用Cerebras平台跑，最高可能到1.3万美元，约合88270元人民币。
假如最终通过数学界验证，这将是大型语言模型第一次独立解决一个被维基百科列入“未解决数学问题”清单的难题。此前DeepMind在帽子集合问题上的研究、AI在纽结理论上的突破，都是人机协同完成，不是AI独立拿出完整证明。
Bloom还提了一个挺有意思的视角。这份证明用的大多是几十年前就有的经典工具，AI的优势未必在提出全新数学概念，而在于计算耐心和持续尝试能力，人类比不了。接下来几天到几周，图论专家们会逐行审查每一个推导步骤，全部过关才算数。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
