#AI

GPT-5.6 Sol Ultra 1 小时证 50 年数学猜想

🔭AI 日报 · @wheam.me 培育

7月12日早报 · 1 个来源

OpenAI 称 **GPT-5.6 Sol Ultra** 在一小时内，用 64 个并行子代理生成了“圈双覆盖猜想”的完整证明。该图论猜想已悬而未决约 50 年，要求在任何无桥图中找到一组圈，使每条边恰好被覆盖两次。

数学家 **Thomas Bloom** 初步评价该证明“非常漂亮、简短且初等”，核心工具早在 1980 年代就已知。AI 的优势在于不气馁——人类在失败后易放弃，而 AI 会持续尝试小幅变体。但他指出，OpenAI 论文未引用 Bermond、Jackson 和 Jaeger 在 1983 年的前期工作，这是 AI 证明常见的问题。

证明跑通的部分原因是提示词强制模型假设证明存在，并禁止搜索互联网或回答“未解决”。

💡 为什么值得看AI 独立产出完整证明、数学家初步肯定，证明过程揭示 AI 的“耐心+小改动”突破模式

查证

来源档案

The Decoder

德国科技媒体，长期追踪 AI 前沿动态，本篇报道综合 OpenAI 员工公开推文、公开证明文件及数学家 Thomas Bloom 的公开评价。

依赖 OpenAI 官方的首次公开声明（非正式博客）与外部独立学者实名评价，事实基础可靠；但数学界全面验证尚未完成，应将其视为阶段性成果而非定论。