Eric Jang 盘点年度 AI 黑马：Blender 与 Lean 成为关键工具

Google DeepMind 研究员 Eric Jang 盘点年度 AI 领域黑马，认为 Blender 与 Lean 已成长为关键工具。具身智能训练大量依赖 Blender 生成仿真数据，Lean 则在数学证明与形式化推理评测中受到更多关注。