IMO 2026 AI Showdown: Three Models Score Perfect 42, Claude Fable 5 Costs $51, GPT-5.6 Sol Only $20
新智元 · wechat · 2026-07-22
DeedyDas benchmarked 7 frontier AI models on all 6 IMO 2026 problems. Claude Fable 5, GPT-5.6 Sol (xhigh), and Kimi K3 each scored a perfect 42, alongside Axiom Prover. Claude took 2.5 hours at $51, GPT 3.8 hours at $20, Kimi 17.4 hours at $31. Human historical perfect rate is 0.69%. The article details solution strategies: Claude used a monotonic counter Φ=T+N; GPT used lexicographic descent on product and count; Kimi brute-forced. Problem 6, solved by only 6 humans, was cracked by all three. Grok 4.5 failed due to agent hallucination. AxiomMath provided Lean4 formalizations; founder Hong Letong, 25, raised $200M at $1.6B valuation.
Related event: Multiple Frontier AI Models Achieve Perfect Scores in IMO 2026 Testing(6 posts)→
More from Models
- Same Echo Maze prompt, three frontier models: all passed visually but shipped the same hidden bug — eyishazyer · 2026-09-11
- Benchmark scores drop from 89% to 19% on new evals — how benchmaxxing breaks leaderboard trust — airesearch12 · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11