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.