Deedy(@deedydas):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.

2026.07.21 03:33

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.