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

时间：2026年7月10日 地点：美国 人物：OpenAI研究员Ethan Knight 事件详情：OpenAI宣布旗下GPT-5.6 Sol Ultra模型在不到一小时内成功生成了循环双覆盖猜想（Cycle Double Cover Conjecture）的完整证明。该猜想由图论数学家George Szekeres于1973年和Paul Seymour于1979年分别独立提出，是图论领域悬而未决50多年的重要难题。模型调用64个并行子智能体协同工作，其中包含专门的对抗智能体负责寻找漏洞，最终仅用原计划八分之一的时间就完成了证明。 背景：GPT-5.6系列模型于7月9日全球正式上线，包含旗舰版Sol、均衡版Terra和低成本版Luna三档。Sol Ultra模式可协调多个AI代理并行处理复杂任务。此次证明的计算成本约275至485美元。若通过数学界验证，将是LLM首次独立解决维基百科列表中的未解数学难题。 影响：英国曼彻斯特大学数学家Thomas Bloom评价该证明简洁且漂亮，但指出AI在自动生成数学论文时普遍不引用已有文献的问题。该证明尚未经过正式同行评审。 参考来源： https://www.ithome.com/0/975/646.htm https://new.qq.com/rain/a/20260712A02WY700 https://new.qq.com/rain/a/20260711A036EU00 https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf https://so.html5.qq.com/page/real/search_news?docid=70000021_8596a51d60973052 https://so.html5.qq.com/page/real/search_news?docid=70000021_5986a5239a728965