一句话看懂：OpenAI 最新模型 GPT-5.6 Sol Ultra 仅用不到 1 小时，就生成了图论领域已悬而未决 50 多年的“循环双覆盖猜想”完整证明。这被认为是大型语言模型首次独立解决维基百科“未解决数学问题”列表中的重大难题，但该证明尚未通过同行评审。
事件核心：发生了什么
2026 年 7 月 10 日，OpenAI 宣布，GPT-5.6 Sol Ultra 通过同时调用 64 个子智能体，并对数学猜想进行多种表示方法、代数思路及结构归纳的并行尝试，最终仅用约 1 小时（系统原预留 8 小时）完成了一份完整的证明。该证明的关键步骤如下：将问题归约为三次图问题、利用 8-流定理、通过 GF (3) 上的线性代数构造边标记。OpenAI 研究科学家 Ethan Knight 在 X 平台公布了这一成果，并将证明文件发布于公司 CDN 上。
为什么重要
这一成果的重要意义并不在于 AI 提出了全新的数学概念，而在于展示了 AI 在“极端耐心试错”上的独特优势。英国曼彻斯特大学数学家 Thomas Bloom 指出，证明本身简洁、基础，使用的工具均为几十年前的经典方法；如果当年有人想到，1980 年代就有可能完成。这提示我们，AI 在数学发现中更像一个不知疲倦的探索者，而非天才理论家。同时，这也是 AI 首次独立完成一项完整、可验证的数学难题证明，挑战了此前“AI 只能辅助人类”的认知边界。
对用户/开发者/创作者的影响
对开发者与科研用户：此案例展示了多智能体协作（64 个子智能体并行）和对抗式验证策略在复杂推理问题上的有效性，为使用大模型进行长链条逻辑推理提供了可复用的系统架构。普通用户在调用 AI 进行复杂代码评审或算法设计时，也可尝试类似的分工与验证策略。对算力消费判断：完成此次推理的成本约为 275-485 美元（OpenAI 官方定价），即使采用高端平台也仅约 1.3 万美元。这比人类专家团队数年的研究费用低多个数量级，极大降低了前沿数学研究的准入门槛。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
1. 形式化验证与同行评审进程：图论专家预计将在未来数天至数周内严格审校每一个推导步骤。该证明未采用 Lean 等自动形式化验证工具，因此人工审核仍是目前唯一验证手段。此前图论领域已出现多次“假证明”撤回事件，市场需关注正式评审结果。2. 对 AI 推理能力商业化落地的影响：若最终通过验证，OpenAI 很可能将这种多智能体协同推理方案以 API 或产品功能形式开放，直接赋能金融风控、药物研发、工业仿真等高复杂度场景。3. 竞品技术路线跟进：DeepMind 等机构此前在帽子集合问题等数学项目上均为“人机协同”模式，本次独立证明将促使业界重新评估纯 AI 自主推理的潜力，开源社区也可能出现类似推理框架。
