Deedy Das: Fable, Sol, K3 and Axiom all score 42/42 on IMO 2026

Posted 21 Jul 2026, right after IMO 2026 (Shanghai) ended. Deedy Das (Menlo Ventures) ran Claude Fable 5 (high), OpenAI Sol (xhigh), Moonshot Kimi K3 (max) and Axiom against the problems, and all scored 42/42. He says Fable 5 was the fastest, solving in one attempt. Audit trails are in github.com/deedy/imo-2026, graded by AI agents rather than IMO coordinators. AFP/TechXplore quoted these results next to the officially graded 42/42 of Huawei Celia and RedNote dots-note-3.0. Verified via syndication (2026-07-21T03:33:43Z, ~4.1k likes).

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.

Media: https://pbs.twimg.com/media/HNuL4q3aQAIMcXc.jpg?name=orig

views 563462 · likes 4123 · reposts 589 · replies 138 (at fetch time)

Archived 2026-09-29 via fxtwitter (unofficial).