OpenAI GPT-5.6 Sol Ultra一小时证明50年图论猜想

时间：2026年7月12日 地点：美国，OpenAI 人物：OpenAI、GPT-5.6 Sol Ultra模型 事件详情：OpenAI宣布其GPT-5.6 Sol Ultra模型在不到1小时内，成功生成了循环双覆盖猜想（Cycle Double Cover Conjecture）的完整证明。该猜想由数学家George Szekeres于1973年、Paul Seymour于1979年分别独立提出，是图论领域悬而未决长达50多年的重要难题。OpenAI研究员Ethan Knight在X平台透露，模型利用64个子智能体（subagents）协同协作完成了这一证明，并将证明及提示词以PDF形式公开发布。 背景：GPT-5.6系列模型于7月9日正式全面开放，包括旗舰级Sol、均衡型Terra和低成本Luna三个版本。Sol支持全新的Ultra模式，可默认协调4个AI代理并行处理复杂任务。此次数学突破展示了多智能体协作在科研领域的巨大潜力。 影响： - 证明了AI在数学科研领域具备独立解决长期未解难题的能力 - 64个子智能体协同的工作模式为AI科研应用提供了新范式 - 虽证明尚未经同行评审，但已引发数学界高度关注和审查 - 进一步确立了GPT-5.6 Sol Ultra在复杂推理任务上的领先地位 总结：GPT-5.6 Sol Ultra在一小时内攻克了半个世纪的数学难题，标志着AI在科学推理领域实现了重大突破。多智能体协作的科研模式或将重新定义数学证明的方式，尽管该成果仍需经过学术界的严格同行评审。 参考来源： - https://www.ithome.com/0/975/646.htm - https://new.qq.com/rain/a/20260712A08GAF00