探讨符号约束如何防止AI Coding幻觉落地
上一集留下的那行代码，为什么在边界被类型检查器当场拦下？这一集先兑现工具这一半：把前人留下的老工具按「写之前、写的时候、写完之后」摆成一张表，逐件看清能拦住什么、拦不住什么，再回到那行代码，看红灯来自哪一步。结论是：幻觉还会有，但可以让它落不了地。 【章节】 00:00 冷开场：那行代码与欠下的话 01:27 第二幕收尾：把老工具摆到地面 01:48 模型提议，符号裁决 02:16 三列表：写之前 / 写的时候 / 写完之后 02:42 写之前：规则放进结构 03:14 写的时候：约束解码 04:19