#AI
GPT-5.6 一小时解开 50 年数学猜想
OpenAI 研究员 Ethan Knight 宣布,昨日发布的 GPT-5.6 Sol Ultra 使用 64 个子 agent 并行,在不到一小时内证明了悬置 50 年的循环双覆盖猜想。证明 PDF 已公开于 OpenAI CDN,论文署名仅为模型本身,Codex 辅助成文。
曼彻斯特大学数学家 Thomas Bloom 评价该证明“简短、初等,早在 80 年代就可能完成”,关键步骤为一个反直觉的小变体。但他批评论文未引用 1983 年 Bermond、Jackson 与 Jaeger 的先导工作,认为 AI 只是重组了已有思想,暴露了引文缺陷。
💡 为什么值得看64 子智能体并行破解图论难题,公开提示词提供可复用的「验收驱动」多 Agent 协同范式。
提示词四要点:如何驾驭神话级模型
- **只钉死终点,不设路径**:不强制归纳法或流理论,只反复强调“每个无桥有限图必存在圈双覆盖”,并禁止添加额外假设取巧。
- **提前消歧、重复目标**:详细定义图、桥、圈、覆盖,连不连通图、无边图的处理也写清,并在多处重复最终目标,防上下文漂移。
- **明确列出“不算完成”**:只证特殊图类不算,覆盖边非恰好两次不算,靠归约到未证引理也不算——提前堵死常见偷懒出口。
- **动态搜索 + 独立审查**:64 个子 agent 不能知道当前最优路径以防集体收敛,对抗 agent 专查偷换定义、漏边等错误;受阻路线会被标记降配。
查证
来源与可信度
强
· OpenAI 研究员 Ethan Knight 在 X 正式宣布,并公开完整提示词与证明 PDF,属官方一手信号
[1]
强
· 数学家 Thomas Bloom 已阅读证明并给出详细公开评价,学术社区全面验证仍在进行中
[1]
弱
· 中文媒体量子位拆解了提示词的结构与工程设计思路,提炼出可复用的 prompt 方法论
[2]
延伸阅读
The Decoder 整理了 Blair 的评价全文,可直接看到「AI 不气馁」那段原文
量子位将 700 词提示词拆成四点,配有图形化解读,易上手