OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour, using 64 subagents working in parallel. The conjecture had remained unsolved for 50 years. Mathematician Thomas Bloom calls the proof surprisingly elementary but criticizes the lack of citations for known prior work. The bigger question remains: Does AI just recombine existing knowledge, or does it create something new? The article OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour appeared first on The Decoder .
发展脉络
- 首次出现OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hourThe Decoder
- 行业反馈仅用一小时,OpenAI GPT-5.6 Sol Ultra 证明了一个已有 50 年历史的数学猜想IT之家 AI
- 当前判断AI agent 自主完成数学定理证明，将加速科学研究自动化进程。但证明引用缺失暴露了当前 agent 系统在学术规范性上的短板——可验证性和可复现性是 agent 研究从实验室走向学术界的必要条件。AIGC.NEWS · 分析
OpenAI 的 GPT-5.6 Sol Ultra 在一小时内使用 64 个子代理并行工作，证明了悬而未决 50 年的图论「循环双覆盖猜想」。数学家 Thomas Bloom 评价证明「出人意料地初等」，但批评缺乏对已知先验工作的引用。
多 Agent 并行协作成为前沿推理的核心范式。64 个子代理协同攻克单一难题的模式验证了 agent swarm 架构在复杂科学推理中的可行性，标志着 AI agent 从「辅助工具」向「自主研究主体」的跃迁。
AI agent 自主完成数学定理证明，将加速科学研究自动化进程。但证明引用缺失暴露了当前 agent 系统在学术规范性上的短板——可验证性和可复现性是 agent 研究从实验室走向学术界的必要条件。
对于药物研发、材料科学、金融建模等需要深度推理的行业，多 agent 推理架构提供了可复制的研究自动化方案。
观察 OpenAI 是否会将多 agent 数学推理能力产品化，以及学术界对 AI 生成证明的引用和验证标准如何建立。