#人机协作
共 4 篇
工厂把决策权交给 AI 前，先想清楚人管哪一段
工业企业正在让 AI 数字孪生从旁观者变成操作者。本文梳理哪些环节已经交给 AI 自动跑、哪些必须留给人，以及普通工厂现在抄得走的分权做法。
Lean 能编译，不等于意思对了
一篇论文记录了他们做 Lean 4 形式化工具一整年的取舍：agent 写代码已经比人读得快，产品重心只好从「生成」挪到「让人审得过来」。读完你会知道自动形式化真正卡在哪一环。
AI 辅助决策想省人力，抽查也能守住错误上限
一篇 10 月论文把「AI 决策加人工抽查」做成了有数学保证的在线优化问题。读完能知道抽查比例怎么定才既省人力又封住漏审错误，为什么这套方法对数据分布不做假设。
「一看就是 AI 做的」，你真看得出来吗
一位设计师两次被「我一眼就看出来是 AI」否定，一次来自教授，一次来自编辑。文章拆他的经历，说明这类判断的依据通常不是检测能力。