Three frontier models reportedly score perfectly on an IMO-style math set
deedydas · x · 2026-07-21
The post says three frontier models achieved a perfect score on an IMO-related problem set, and includes the author’s disclaimers about reproducibility and sampling variance.
- The author says the work is fully documented in the repo and different attempts may produce different outcomes.
- No public web search was used.
- The model runs referenced all have cutoffs well before IMO 2026.
- Source links are provided for Lean (Axiom), Fable, Sol, Kimi K3, and the repo itself.
Related event: Multiple Frontier AI Models Achieve Perfect Scores in IMO 2026 Testing(5 posts)→
More from Models
- NVIDIA says Nemotron 3 Ultra scored 30/42 on the 2026 IMO problems — NVIDIAAI · 2026-07-22
- OpenAI is reportedly briefing U.S. lawmakers on its next model family — kimmonismus · 2026-07-22
- Muse Spark 1.1 lands at 1495 on Text Arena with standout agentic-coding price performance — ycombinator · 2026-07-22
- Advanced AI Models Are Becoming Impossible to Plug and Play — emollick · 2026-07-22
- Google Gemini's AI Problem: No Leading Model for Core Workloads — bindureddy · 2026-07-22
- Model Offers 1M Token Context Window at Just $0.33/1M Tokens — MickeySteamboat · 2026-07-22