3Blue1Brown Releases Full Video on the Last IMO Problem AI Couldn't Solve
3blue1brown · x · 2026-09-19
Grant Sanderson of 3Blue1Brown published a long-form video walking through "the last IMO problem AI could not solve," designed as a full problem-solving saga for viewers who want to sit down and follow the reasoning end to end.
With frontier models now sweeping most International Math Olympiad problems, this problem stands out as one of the few that can still stump top AI — making it a natural case study for where machine reasoning still falls short.
Related event: 3Blue1Brown tackles the IMO problem AI can't solve(3 posts)→
More from Models
- Musk cites unsustainable Grok Bot costs as Hermes offers one-command agent migration — Teknium · 2026-11-04
- Hobbyist rewrites Qwen 0.6B weights with 39.8M tokens, no gradients, in 3h12m — Altruistic_Heat_9531 · 2026-11-04
- Same leak, reshared: ChatGPT's five family plan prices spotted again — heyshrutimishra · 2026-11-04
- KOL visits StepFun's Shanghai office, hints a powerful new model is coming — teortaxesTex · 2026-11-04
- Fable 5.5 delayed as Anthropic reportedly bets OpenAI's Astra 6.2 won't beat it — haider1 · 2026-11-04
- ByteDance open-sources Axion 1.0-35B agent foundation model with full reproducible recipe — pmttyji · 2026-11-04