GPT-5.6 Sol
GPT-5.6 Sol Ultra 证明数学猜想
GPT-5.6 Sol Ultra用64个子智能体，不到一小时证明了循环双覆盖猜想（Cycle Double Cover Conjecture）——这道图论悬案从1973年Szekeres、1979年Seymour提出起躺了近50年。读到Ethan Knight那条三句话推文时，我正盯着7月11日的FrontierMath v2 Tier 4榜单：Sol 83.000%霸榜，Terra 68.3%，Luna 58.5%，Claude Opus 4.8只到31.25%，Gemini 3.1 Pro 16.7%——数学推理这档Sol把第二梯队甩开50多个百分点。但真正让我坐直身子的是推理架构：64个subagent并行，一组走结构归纳，一组跑代数流，一组试不同图表示方法，还有专门的Adversarial Agents负责找漏洞——本质是在AI系统内部模拟同行评审。最后证明路径简洁得令人发指：归约到三次图→1983年的8-流定理→GF(3)三元有限域上做线性代数边标记。曼大数学家Bloom评价"非常漂亮"，并补了句关键判断："如果当年有人想到，80年代就有可能完成。"AI没发明新数学，只是把工具箱里躺了40年的积木用远超人类的耐心拼了起来。算力成本275-485美元，比一次大模型微调还便宜。
发布于 福建
1
评论
赞
未登录
友善发言
评论
加载中
