Claude Fable、GPT-5.6 Sol、Kimi K3 都拿下 IMO 2026 满分
deedydas · x · 2026-07-21
作者拿 Claude Fable、GPT-5.6 Sol、Kimi K3 和 Axiom 跑了 2026 IMO，结果四个都拿到 42/42 满分。
- Claude Fable 5 只用 1 次尝试 就解出，且总耗时最快，约 2.5 小时。
- GPT-5.6 Sol 只多了 1 次尝试，但在这组里最省钱。
- Kimi K3 也解出来了，但重试更多、token 消耗也明显更高。
- Axiom Math 则把证明正式落在了 Lean 里。
配图里的统计还显示，P3 和 P6 是最难的两题，按尝试次数和 token 都最重。作者的结论是：AI 的前沿已经明显越过 IMO 数学。
所属事件:多款前沿AI模型在IMO 2026测试中斩获满分(6 条相关)→
「模型」频道最新
- Kimi K3.1 Pro 登顶 MathArena 开源模型，整体逼近 GPT-5.5 — teortaxesTex · 2026-10-26
- Ruff 作者感叹:前沿模型能在任何软件里找到无穷多 bug — charliermarsh · 2026-10-26
- 开发者实测同一 skill 跨 Opus 5.5 与 Sol 6.1:指令遵循表现参差 — lucasmeijer · 2026-10-26
- supermemory 发布 learner-1：面向任意模型的持续学习方案 — julianweisser · 2026-10-26
- Anthropic 称 Opus 5.5 单任务成本较 Opus 5 降约 40% — taufiqintech · 2026-10-26
- 27 家 AI 搜索接口横评:前 12 名只差 7 分,价格却差近 7 倍 — FinanceYF5 · 2026-10-26