确定性代码
给定相同输入必然产生相同输出的程序逻辑,在harness方案中承担精确一致操作、门控校验与任务步骤拆解三类职责,与基于采样的语言模型生成形成对照
时间轴 (近 90 天)
在小模型应用中,所有必须精确的内容(如截止日期、金额、参考编号、发件机构)应交给确定性代码处理,所有需要被理解的内容(如解释信件)交给模型。
AI导师系统被拆分为三类部件:人类负责编写并运行SQL;确定性代码负责先尝试规则、提示/答案规则、答案检查器和防泄漏守卫;概率性LLM只负责写提示文案。
确定性代码指给定相同输入永远产生相同输出的程序,可用单元测试穷举验证;概率性LLM的采样机制使其输出天然带有随机性。
能用确定性代码兜底的环节(如对比度校验、格式校验、数值范围检查、敏感词过滤)就不应交给概率性模型。
诊断对照表:某条规则必须严格强制执行时应先检查已批准的规则说明、输入、边界情况、授权,候选干预为用确定性代码实现并测试。
长期以来软件的唯一构建材料是确定性代码,由人类工程师逐行编写、可预测、可复现
确定性代码与概率性AI材料并非相互取代,而是互补共存
全部知识事实 (7)
在小模型应用中,所有必须精确的内容(如截止日期、金额、参考编号、发件机构)应交给确定性代码处理,所有需要被理解的内容(如解释信件)交给模型。
50%待验证AI导师系统被拆分为三类部件:人类负责编写并运行SQL;确定性代码负责先尝试规则、提示/答案规则、答案检查器和防泄漏守卫;概率性LLM只负责写提示文案。
50%待验证确定性代码指给定相同输入永远产生相同输出的程序,可用单元测试穷举验证;概率性LLM的采样机制使其输出天然带有随机性。
50%待验证能用确定性代码兜底的环节(如对比度校验、格式校验、数值范围检查、敏感词过滤)就不应交给概率性模型。
50%待验证诊断对照表:某条规则必须严格强制执行时应先检查已批准的规则说明、输入、边界情况、授权,候选干预为用确定性代码实现并测试。
50%待验证长期以来软件的唯一构建材料是确定性代码,由人类工程师逐行编写、可预测、可复现
50%待验证确定性代码与概率性AI材料并非相互取代,而是互补共存
50%