时间：2026年7月10-12日
地点：美国（OpenAI实验室）
人物：OpenAI、研究员Ethan Knight、英国曼彻斯特大学数学家Thomas Bloom
事件详情：OpenAI于7月10日宣布，其旗舰模型GPT-5.6 Sol Ultra在不到一小时内成功生成了循环双覆盖猜想（Cycle Double Cover Conjecture）的完整证明。该猜想由图论数学家George Szekeres于1973年、Paul Seymour于1979年分别独立提出，已悬而未决50多年，被列入维基百科未解决数学问题列表。OpenAI研究员Ethan Knight在X平台宣布，Sol Ultra利用64个并行子智能体（subagents）协同工作，系统原本预留了8小时计算时间，最终仅耗时约1小时便完成全部证明。OpenAI已将证明PDF和提示词公开发布，并表示整套数学证明均由AI模型独立完成。
背景：循环双覆盖猜想指出：对于任意无桥图，是否存在一组循环使得图中的每一条边都恰好出现在两个循环中。此前DeepMind在帽子集合问题和纽结理论上的突破均属于人类与AI协同完成，而非AI独立完成完整证明。曼彻斯特大学数学家Thomas Bloom认为这是一个非常漂亮的证明，简洁、基础且使用的方法并不复杂。他也指出AI的优势在于拥有远超人类的计算耐心和持续尝试能力。
影响：如果最终通过数学界验证，将意味着大型语言模型首次独立解决被列入维基百科未解决数学问题列表的重要难题，标志着AI科学推理能力的重大突破。但目前证明尚未经过正式同行评审，也未使用Lean等形式化证明工具验证。根据估算，该推理的计算成本约275至485美元（使用OpenAI官方Sol定价）。
总结：GPT-5.6 Sol Ultra以极低成本在1小时内解决50年悬而未决的数学难题，标志着AI在原创数学发现领域迈出了历史性的一步，但也引发了对AI数学证明可信度和验证标准的广泛讨论。
参考来源：https://www.ithome.com/0/975/646.htm
参考来源：https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
参考来源：https://x.com/rohanpaul_ai/status/2075480331600417141
参考来源：https://the-decoder.com/openai-ceo-altman-is-now-pretty-sure-ai-is-net-job-creating-which-is-quite-the-pivot-from-predicting-mass-layoffs
热门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短剧创作工具，实现从剧本到成片的自动化生产，让“一人即剧组”成为现实。
沁言学术智能科研平台
一站式文献管理与科研写作工具,支持边写作边搜索文献,高效阅读,文献管理,