3Blue1Brown 详解 AI 未能解出的 IMO 题

数学可视化频道 3Blue1Brown（Grant Sanderson）发布长视频，讲解 2025 年 IMO 中 AI 至今未能解决的一道组合构造题，被称为「AI 无法解决的最后一道 IMO 题」。视频涵盖题目陈述、最优构造的寻找、弱下界与最优性证明，展示了解题所需的几何直觉，也引发对大模型在 IMO 级别数学推理能力边界的讨论。

2026-09-19 ~ 2026-09-19 · 3 条相关

• 3Blue1Brown 拆解 AI 也解不出的 IMO 2025 压轴题 — 3Blue1Brown · 2026-09-19
• 3Blue1Brown 讲解 AI 至今未能攻克的最后一块 IMO 难题 — 3Blue1Brown · 2026-09-19

另有 1 条近重复转述:3blue1brown