这是对频道此前 GPT-5.6 数学猜想速览的补充：新智元进一步披露了「循环双覆盖猜想」报道中的并行推理细节。文章称，GPT-5.6 Sol Ultra 调度 64 个并发智能体，在不到 1 小时内产出证明，并把过程拆成多条路线探索、专门的反例审查和候选证明筛选。
按文章对证明文本的转述，路线先把问题收窄到立方图，再引入 8-流，把每条边转成带标签的组合条件，最后借助线性代数引理完成推导。文章还引用 Noam Brown 对并行测试时计算的解释：把单条长推理拆成更多并行搜索，可以把等待时间从更长周期压到小时级。
边界要说清楚：本帖记录的是新智元对同一事件新增的技术细节，不是独立的数学审稿结论。图集中的论文首页和团队帖子是原文展示，不能单凭截图判断证明已经通过同行评审。
图集顺序：事件封面、团队发布帖、证明论文首页、并行测试时计算线索。
来源：
Comments