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
- PixelBench: testing multimodal models pixel-by-pixel instead of with QA — bdsqlsz · 2026-11-04
- François Chollet: modeling brain wiring as an engineering problem constrained by genome size and time — CatAstro_Piyush · 2026-11-04
- OffsecCyber dataset combines HackerOne reports and CVEs to train pentesting LLMs — AccBalanced · 2026-11-04
- Monofact rate in training data governs LLM scientific discovery, preprint finds — CatAstro_Piyush · 2026-11-04
- qwenTPU compiles a TPU into Qwen3.5 weights, achieving exact integer matmul — CatAstro_Piyush · 2026-11-04
- Jev model improves ICL demonstration retrieval via distillation into a lightweight MLP — kalyan_kpl · 2026-11-04