时间：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
热门AI工具推荐
火山方舟 Coding Plan字节跳动
AI编程订阅服务，支持多款国产主流编程模型自由切换。
Seedance 2.0AI视频生成
具备卓越的物理真实性和角色一致性，可生成电影级视频内容。
方舟 Agent PlanAI智能体订阅
火山引擎推出的全场景AI智能体订阅服务，通过一个订阅整合5大主流模型和10+AI工具
StepClaw阶跃AI桌面伙伴龙虾Agent智能体
StepClaw是阶跃星辰推出的本地和云端的AI龙虾助手，通过一键部署让普通用户也能拥有7×24小时在线、可自主执行任务的AI数字工作伙伴。
科大讯飞AstronClawAI智能体
基于OpenClaw架构打造的AI助手平台，核心优势包括云端一键部署、沙箱隔离安全运行、全面接入企业微信/钉钉/飞书三大主流IM工具
SpeedAIAI内容检测降重
AI内容检测与降重工具，能有效帮助用户通过论文AI率检测
墨刀AIAI原型设计平台
墨刀AI是一款能通过一句话描述或图片，快速生成可交互原型、PRD文档及各类图表的一站式智能产品设计协作平台。
秒哒AI工具
不懂代码也能开发应用？百度秒哒：无需编程，快速搭建小程序与网站
有戏AIAI漫剧生成工具
全流程AI短剧创作工具，实现从剧本到成片的自动化生产，让“一人即剧组”成为现实。
沁言学术智能科研平台
一站式文献管理与科研写作工具,支持边写作边搜索文献,高效阅读,文献管理,