GPT-5.6 传出数学突破
新智元 · wechat · 2026-07-15
OpenAI 官方宣称，GPT-5.6 Sol Ultra 用不到 1 小时证明了困扰数学界 50 年的“循环双覆盖猜想”。文中称，任务不是单个模型独立完成，而是由 64 个并发智能体组成的系统协作产出证明，并最终由 Codex 辅助排版成论文。
文章还详细描述了这套系统的组织方式：第一轮要求探索多种完全不同的证明路径；设置“纠察队”对每个候选证明进行严格反驳；并强制给出具体引理、构造和方程，避免空话。作者把这次突破归因于 并行测试时计算（TTC）：把长时间推理拆成大量并发搜索，从而将原本可能需要更久的探索压缩到 1 小时内。
所属事件:GPT-5.6 连解 Erdős 难题，但被指夸大(10 条相关)→
「模型」频道最新
- 不改模型给 Qwen3-8B 加近似层,预填充时间砍半 — teortaxesTex · 2026-09-11
- Schmidhuber？不,是 rschu:Pro 20x 套餐不到一天烧掉 60% 额度 — rschu · 2026-09-11
- Google Grounded Search 计费翻车:15000次请求仅289次计入免费额度 — ItalyExpat · 2026-09-11
- 网友热议 DeepSeek 新模型:K3 还是缩水版 K3-Flash? — teortaxesTex · 2026-09-11
- DeepSeek 新版多轮改 System Prompt 不再击穿缓存，费用省 36.6% — teortaxesTex · 2026-09-11
- 6TB Fable 数据遭倒卖：内含小米华为等企业泄露密钥 — teortaxesTex · 2026-09-11