大模型动态

GPT-5.6 Sol Ultra声称证明50年数学猜想

发布时间：2026年07月12日 09:00:00

OpenAI宣布GPT-5.6 Sol Ultra在不到一小时内使用64个子智能体证明了图论领域著名的Cycle Double Cover猜想，该猜想自1973年提出以来一直未被解决。

数学突破

GPT-5.6 Sol Ultra声称完成了以下数学突破：

  • 猜想名称：Cycle Double Cover Conjecture（循环双覆盖猜想）
  • 提出时间：1973年由George Szekeres提出，1979年Paul Seymour独立提出
  • 证明方式：64个并发子智能体协作，在不到1小时内完成
  • 发布内容：OpenAI公开了证明PDF及完整的700字提示词

学术评价

数学家Thomas Bloom评价该证明：

  • 正面评价：“非常漂亮”、“基础而优雅”，可能在1980年代就已被发现
  • 批评意见：缺乏基础先前工作的引用

该猜想曾多次出现被发现有漏洞或撤回的"证明"，目前尚未经过同行评审。

提示词技术

无论数学证明是否成立，提示词技术具有立即应用价值：

  • 多智能体协作：最多部署64个并发子智能体
  • 动态管理：积极动态地管理子智能体
  • 多样性维护：早期阶段保持不同数学公式、代数角度和结构归纳的多样性
  • 独立审查：内置独立审查机制

成本估算

HN评论者估算单次运行成本：

  • 最低：约275美元
  • 最高：约13,000美元

对于资金充足的团队来说是可承受的。

应用价值

这种动态多智能体编排架构可立即应用于：

  • 复杂结构化问题：不限于数学领域
  • 科学研究：加速科学发现
  • 工程设计：优化复杂系统设计

来源：综合自AIToolsRecap、OpenAI官方公告及学术报道

返回列表