Ion Stoica:人类负责规约与验证,模型负责设计与生成
RajaXg · x · 2026-10-17
在斯坦福一场论坛上，Ion Stoica 提出一个关于人机分工的判断：规约（specification）与验证（verification）之于人类，正如设计与代码生成、执行之于模型——即未来人类负责定义需求与检验结果，AI 负责具体的实现工作。他用一句话概括：生物负责验证，硅基负责设计。
「漫话AGI」频道最新
- 开发者观点：如今所有 AI 新基准本质上都是编码基准 — wateriscoding · 2026-10-17
- AI 提前两年完成 Lean 版菲尔兹奖球堆积证明，当事人复盘真相 — TOEwithCurt · 2026-10-17
- AI 安全学者长文探讨「自愿对齐」:超越可纠正性的核心难题 — gleech · 2026-10-17
- 未来3-5年最值钱的不是懂AI的人，而是会部署AI的工程师 — mdancho84 · 2026-10-17
- 教师吐槽学习 LLM 数学后崩溃:所谓 AI 只是「辣味自动补全」 — EnemyOfAi · 2026-10-17
- Reddit 长文：AI 终局只有封建主义与社会主义两条路？ — AdCareless8817 · 2026-10-17