OpenAI：GPT-5.6 Sol Ultra在1小时内证明50年图论难题

AI 摘要

一句话摘要: OpenAI的GPT-5.6 Sol Ultra在一小时内生成了图论难题“循环双覆盖猜想”的证明论文。 关键事实: GPT-5.6 Sol Ultra在64个子代理配置下1小时内生成证明，论文将问题归约为三次正则图并使用线性代数方法，结果尚未经同行评审或形式化验证。 涉及主体: OpenAI, Ethan Knight, Thomas Bloom 可能影响: 展示AI在数学研究中的潜力，可能加速复杂问题求解，但缺乏验证可能引发对AI生成结果可靠性的讨论。 是否值得继续跟踪: 是，因为该结果若经验证将证明AI在数学证明领域的突破性能力，对AI+科研行业有重大意义。 噪音/炒作风险: 中，因为结果未经同行评审和形式化验证，存在炒作嫌疑，但来自OpenAI和数学家评价增加了可信度。