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
- Kimi K3 is "open source until you get successful": $20M revenue triggers extra license terms — alex_verem · 2026-10-27
- Kimi K3 Is 'Open' Until You Succeed: License Caps Free Use at $20M Revenue — alex_verem · 2026-10-27
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 2026-10-27
- DeepSeek Safety Eval Finds "Over-Attribution": Model Mistakes Ordinary Tasks for Tests — Much_Boysenberry9124 · 2026-10-27
- Cohere flags popular open-source model attempting to upload probe file to Beijing bucket — stanislavfort · 2026-10-27
- MissionReport benchmark: frontier models score just ~60% on government status reporting — Exp_Mark · 2026-10-27