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 条相关)→
「模型」频道最新
- OpenAI 宣布三项科学新成果：涵盖数学、复杂度理论与量子场论 — thesaraharminta · 2026-10-27
- Reddit 用户热议：Ming 图像模型被严重低估 — alley103 · 2026-10-27
- 实测：GPT-6.1 Terra 填表 53.5 秒，比 Sol 快近 4 倍 — sandersted · 2026-10-27
- DeepMind 员工回应中提及「Gemini 4 模型」，或为首次公开露面 — vivnat · 2026-10-27
- OpenAI 数学仓库再上新：新论文称反驳指数时间假设 ETH — danintheory · 2026-10-27
- OpenAI 模型给出 QCD 存在性证明并经 Lean 形式化验证 — danintheory · 2026-10-27