# AI 模型在 IMO 2026 全部满分，速度超人类选手

- 来源：Deedy (@deedydas)
- 发布时间：2026-07-21 11:33
- AIHOT 分数：53
- AIHOT 链接：https://aihot.virxact.com/items/cmru4arwi55pjbihzhu3tb4ur
- 原文链接：https://x.com/deedydas/status/2079409461874332066

## AI 摘要

Claude Fable 5、GPT 5.6 Sol、Kimi K3 和 Axiom Math 在 IMO 2026 均获满分 42/42。其中 Fable 5 一次解出且速度最快，Sol 成本最低，Axiom Math 用 Lean 完成形式化证明。Fable 和 Sol 用时不到 4 小时，远短于人类选手的 9 小时。

## 正文

The International Math Olympiad （IMO） 2026， the hardest math contest for high schoolers， just ended.

I ran Fable （high）， Sol （xhigh）， K3 （max） and Axiom against it and all got a perfect score of 42/42 （repo below if you want to check their solutions）：
- Claude Fable 5 was the solved it in 1 attempt， and was the fastest.
- GPT 5.6 Sol took 1 more attempts， and was cheapest.
- Kimi K3 did it but took 4 more attempts， and took a LOT of tokens.
- Axiom Math actually proved everything in Lean.

P3 and P6 were the hardest followed by P2， judging by attempts + num tokens.

Students had 9hrs to solve these 6 problems， and Fable and Sol were under 4hrs.

The frontier of AI has officially moved well past IMO math.