Claude Fable, GPT-5.6 Sol, Kimi K3 all score 42/42 on IMO 2026
deedydas · x · 2026-07-21
The poster benchmarked Claude Fable, GPT-5.6 Sol, Kimi K3, and Axiom on the 2026 International Math Olympiad and found that all four reached a perfect 42/42.
- Claude Fable 5 solved the set in 1 attempt and was the fastest at 2.5h total.
- GPT-5.6 Sol needed one extra attempt but was the cheapest in the comparison.
- Kimi K3 also solved everything, but required more retries and much more token usage.
- Axiom Math proved the solutions in Lean.
The image also shows that P3 and P6 were the hardest problems by attempts and token count. The poster argues that the frontier has now moved beyond IMO math.
Related event: Multiple Frontier AI Models Achieve Perfect Scores in IMO 2026 Testing(6 posts)→
More from Models
- Nanbeige4.3-33B benchmarked: 59 tok/s single stream, ~1,060 tok/s across 64 concurrent runs — MaziyarPanahi · 2026-10-26
- Only 2 of 25 full ChatGPT rewrites flagged 100% AI by detectors — paulnovosad · 2026-10-26
- Qwen 4 Reportedly Spotted in the Arena, Hints at Alibaba's Next-Gen Model Testing — AIFlow_ML · 2026-10-26
- Nathan Lambert's first open models lecture: distillation, risks and the ecosystem explained — natolambert · 2026-10-26
- Nanbeige 4.3-33B flops real-world test: zero compilable output vs Qwen — julianharris · 2026-10-26
- Claude's safety classifier blocks SS7 defense research, pushing a security dev to an abliterated GLM — l4rz · 2026-10-26