3Blue1Brown explains the last IMO 2025 problem AI couldn't solve
3Blue1Brown · youtube · 2026-09-19
- 3Blue1Brown's new video walks through the 2025 IMO combinatorial construction problem that AI models failed to solve, focusing on the geometric intuition required.
- It covers the problem statement, finding an optimal construction, weak lower bounds, optimality proof, plus the Erdős–Szekeres theorem and a closing conjecture.
- Evan Chen's solution notes and Dedekind Cuts' video cover the solution; the ending reflects on AI's limits in mathematics.
Related event: 3Blue1Brown tackles the IMO problem AI can't solve(3 posts)→
More from Research
- Benchmark author: auditing is a continuous process, not a good-vs-flawed binary — sarahcat21 · 2026-09-19
- OpenDDE plugins to bring structure prediction and protein design into Codex and Claude Code by early October — AllThingsApx · 2026-09-19
- World models vs RAG: why agents need state tracking, not just retrieval — techNmak · 2026-09-19
- 176-Setting Study Dissects Coding Agent Harnesses: Context Management Matters Most on Tight Budgets — _akhaliq · 2026-09-19
- Stanford/Harvard Paper: Agents Fail From Poor Adaptation, Not Low Intelligence — PolarBearby · 2026-09-19
- Turbo-dLLM Open-Sources CSBP, Speeding Diffusion LLM Training Up to 7.59x at 1M Context — Azaliamirh · 2026-09-19