3Blue1Brown 拆解 AI 也解不出的 IMO 2025 压轴题
3Blue1Brown · youtube · 2026-09-19
- 3Blue1Brown 新视频讲解 2025 年 IMO 中 AI 未能解决的组合构造题，展示解题所需的几何直觉。
- 视频涵盖题目陈述、最优构造的寻找、弱下界证明、最优性证明，并延伸到 Erdős–Szekeres 定理与一个末尾猜想。
- Evan Chen 提供了该年全部题目的解答笔记，Dedekind Cuts 频道也有该题解法视频；结尾部分反思了 AI 在数学中的能力边界。
所属事件:3Blue1Brown 详解 AI 未能解出的 IMO 题(3 条相关)→
「研究」频道最新
- 开源科学模型 Hydrogen-1.0 超越 GPT-6 Astra，成本低 72% — AKAMA199 · 2026-11-04
- Anthropic 称将「即将」达到 RSP 加速 AI 研发阈值，并发布可证明推理研究 — tobyordoxford · 2026-11-04
- Google 扫描 1033 件真实家居品,打包成 345MB GLB 免费开放 — victormustar · 2026-11-04
- 这 10 篇 GPU 优化论文决定了今天模型跑得多快 — NandoDF · 2026-11-04
- 实测推翻常见建议：INT8 几乎无害，采样器才是关键 — YakovSava · 2026-11-04
- Karpathy 带火 HN 开源数据集：千万级帖子可当知识库直接用 — huangyun_122 · 2026-11-04