标签
热门推荐
- ChatGPT App 的模型切换入口，突然变得很难找3/17/2026
- Anthropic 超 8 万用户调研：81% 认为 AI 正兑现预期3/19/2026
- 据路透：华虹旗下华力微电子拟量产 7 纳米，华虹或成中国第二家 7nm 代工厂3/16/2026
- Google 把 Stitch 升级成 AI 原生设计画布3/19/2026
- DLSS 5 引发的争议：老黄说批评者完全错误3/19/2026
- 小米三款大模型齐发：MiMo-V2-Pro、Omni、TTS 完整解读3/19/2026
- 椰树集团相关公司招标 50 台人形机器人剥椰子，产线开始提具体指标了3/19/2026
- 营收涨三倍，宇树科技冲刺科创板3/20/2026
标签: 图论 清除筛选
GPT-5.6一小时解开50年数学猜想：循环双覆盖猜想的证明路径与Prompt拆解
GPT-5.6 Sol Ultra 在不到一小时内证明了循环双覆盖猜想
OpenAI 研究员 Ethan Knight 于 2026 年 7 月 11 日宣布：GPT-5.6 Sol Ultra 用不到一小时完成了一道存在约半个世纪的图论猜想证明，输出为 3 页 PDF。过程中模型自主调用 64 个子 Agent 并行处理。
Noam Brown（o1 核心贡献者）在 ICML 现场转发评论：这次和此前的 Erdős 单位距离问题不同，使用的是公开可用的 GPT-5.6 Sol Ultra，而非内部特供模型。
![Ethan Knight 公告推文](https://linlog.