3Blue1Brown 拆解：AI 唯一解不出的那道 IMO 题
精译求精 · 2026-09-20T20:10:09
2025 年 IMO 第六题，全球 600 多名顶尖少年里不到 1% 拿到满分，也是 AI 至今唯一没解出的一题。3Blue1Brown 用 52 分钟从题目、直觉、构造讲到完整证明，最后回头聊 AI 与数学的关系。拆成 7 段，每段一个核心点，全带中文字幕。
AI 论坛精选
- 做 AI 产品时预先框定的分类，做着做着往往得删掉 - 做 AI 或 Agent 产品时，如果一开始就想从 label-wise 或 semantic-wise 的角度把各种分类预先定死，这类思维在实际做起来后大概率是不太对的。 提前规划好的标签和语义分…
- Rendair AI渲染教程，建筑师亲测 - 建筑师 Sergio Manes 出了支教程，讲怎么用 Rendair AI 做建筑可视化：各种视角的效果图、动画都能出。传统渲染一套图几天，AI 渲染按分钟算。教程链接在原推里，葡萄牙语，开着翻译…
- 用 AI 辅助看固件，能推到哪一步 - 开源社区里有项目称某款热敏标签打印机会对第三方耗材做降速和降低打印质量的处理，并尝试借用 AI 辅助理解设备固件、分析底层指令来调整设备行为。把微控制器级别的固件分析和汇编研究放进大模型辅助范围，确…
- 字节把 AI 制药拆出去单飞，估值 15 亿美元 - 字节旗下的 Anew Labs 第一次以独立公司身份拿了估值，15 亿美元。 据路透社报道，这家从字节拆出来的 AI 制药公司完成首轮外部融资 2.9 亿美元，HSG、IDG、GL Ventures…
- 让 AI 生图能改字、拖图层，这个项目开源了 - 用 AI 生图最烦的一点是，出来的东西好看，但改不动。想改个字、挪个图层，只能重新生成一遍。 有个叫 Editable-Design 的开源项目想解决这个。它的思路是把视觉模型当大脑做需求理解和审美…
- 给 Agent 省 Token，英伟达开源的 SoL-Pi 是这么扣细节的 - 让 Agent 跑复杂任务，最直观的痛点就是 Token 烧得太快，账单跟着往上窜。英伟达开源了一个专注 Token 效率的 Agent 运行框架 SoL-Pi，核心思路是先让 AI 自动检查 AI…
- 进入 AI 论坛 - 浏览 AI 工具实践、Agent 教程与社区精选讨论