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(6 posts)→
More from Models
- Local beats cloud: Qwen 3.8 FN handles private student data as well as frontier models — dr_lm · 2026-10-27
- Aidan Gomez: model's CoT said no tool calls right before making them — aidangomez · 2026-10-27
- Nat Lambert: Cohere's model is narrow RL training on internal infra ill-suited for open weights — natolambert · 2026-10-27
- OpenAI teases DOTS is coming to Europe 'soon' — mark_k · 2026-10-27
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27
- ChatGPT's crawler sample code strips out all Schema markup — VeryWellVersed · 2026-10-27