Eric Jang 盘点年度黑马:Blender 与 Lean 成 AI 关键工具
ericjang11 · x · 2026-11-04
Google DeepMind 研究员 Eric Jang 感叹今年 AI 领域的黑马走势:没人能预料到 Blender(3D 建模工具)和 Lean(形式化证明语言)会变得如此重要。这一观察呼应了具身智能训练大量依赖 Blender 做仿真数据生成、以及 Lean 在数学证明与形式化推理评测中崛起的行业趋势。
「漫话AGI」频道最新
- AI 安全研究者 Jeff Ladish 警告:RSI 临近比当前模型可怕得多 — JeffLadish · 2026-11-04
- Diamandis:家用机器人每周省 10 小时,才是大众在意的机器人经济 — PeterDiamandis · 2026-11-04
- Digital Brain Project 扩至 1500 万美元，目标造出人脑数字模型 — ShahabBakht · 2026-11-04
- AI 研究员:快速智能爆炸证据有限,瓶颈更可能在扩散而非 RSI — pwlot · 2026-11-04
- Dario 与 Demis 对谈：每个决定都在刀尖上，双双把 AGI 定在 2026-2027 — generativist · 2026-11-04
- OpenAI 研究副总裁:AI 优化压力应投向科学与技术而非会计 — LiamFedus · 2026-11-04