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
- Burkov: closed LLM providers bill you for hidden thinking tokens you can never verify — burkov · 2026-09-19
- DiffusionGemma's native vision tower runs near-real-time object detection on a phone — bodonoghue85 · 2026-09-19
- Claim: DeepSeek v4.1 builds its own training tasks with generate-verify-re-audit pipelines — teortaxesTex · 2026-09-19
- Is Jev Actually Accurate? Engineer Flags 99/1 Answer to a 60/40 Coin Question — JnBrymn · 2026-09-19
- LLM fails coin-flip probability test, says 60/40 coin is 99/1 — JnBrymn · 2026-09-19
- Pydantic Creator Benchmarks Jev vs Sonnet: 2.6x Cheaper, 3.7x Faster in 17 Lines — samuelcolvin · 2026-09-19