Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

第 7 讲 · 综合自测卷(100 分 · 建议 60 分钟)

闭卷计时:本卷四部分共 100 分,建议用时 60 分钟(概念判断 12 分钟 / 填空简答 12 分钟 / 推导计算 26 分钟 / 开放题 10 分钟)。做完先按文末评分标准自评,再按漏点定位表回查。 应试纪律:① 判断题只写对错不给分,必须给一句话理由或反例;② 涉及争议话题的答案要并列不同立场与各自依据,不要求也不给分给任何替读者下价值判断的写法;③ 凡引用监管事实,必须写核查时点与来源,不确定处写「需核实」;④ 本卷题目与习题集不重复(唯一的重叠是第三部分第 16 题的推导骨架,它是必背公式,故在此设为独立情境并追加数值题)。

第一部分 · 概念判断(10 题 × 3 分 = 30 分)

判断对错,并给出一句话理由或反例。只写「对 / 错」不得分。

1. 代理目标 gg 只要写得足够细,就总能在极限上等于我们真正想要的 uu。

2. KL 系数 β\beta 是一个纯技术性的正则化超参数,与「允许偏离既有行为多远」无关。

3. DPO 省掉了奖励模型,因此它没有 reward hacking 的风险。

4. 宪法式 AI 既降低了标注成本,也降低了「判断哪些行为可接受」的成本。

5. 越狱与提示注入是同一件事,加一层输入过滤就能同时解决。

6. 线性探针在某层读出某语义,说明模型在推理时使用了该语义。

7. 当各群体的基础发生率不同时,分群校准与均等化几率一般不能同时满足。

8. 申诉通道很安静(几乎没有申诉),说明这个系统的公平性问题很少。

9. FMEA 中可检测度 DD 越高,表示该失效越容易被发现。

10. 事故响应的四个时限里,止损时间 TmitigateT_{\text{mitigate}} 通常是最容易承诺的那一项。

第一部分答案(每题 3 分:判断 1 分 + 理由 2 分)

1. 错。 三处失效:① 写下来的东西有长度上限(真实意图包含大量例外与优先级);② gg 往往由数据或人类偏好学出来,学习过程有偏(例如 Sycophancy);③ 优化压力会在缺口内部找捷径,且捷径通常比正路更容易。所以缺口不会因「更精确的优化」闭合,而会被更精确地利用(定义 7.2.1)。

2. 错。 最优策略相对参考策略的偏移按 exp⁡(r/β)\exp(r/\beta) 重加权:β\beta 小 → 偏移大 → 更听奖励模型的话、也更容易掉进它的漏洞;β\beta 大 → 靠近 SFT 行为、几乎学不动。所以 β\beta 是对齐预算,不是随手调的系数(方法 7.2.2、方法 7.2.3)。

3. 错。 奖励模型的漏洞并没有消失,而是被转移到「参考策略 ++ 偏好数据」这一对约束里:πref\pi_{\text{ref}} 偏了,偏好比值也随之偏;离线方法无法探索偏好数据之外的行为;它也不提供「新采样分布下」的质量证据(方法 7.2.3)。

4. 错。 省下的是标注工时,没有省下「判断哪些行为可接受」这件事;而且上限由原则决定——原则含糊或互相冲突时模型会放大含糊;自评的偏差还会自我强化,通常需要与人类偏好数据混合(方法 7.2.4)。

5. 错。 两者机制不同:越狱是让模型做它本不该做的事,攻击者就是与模型对话的人,可写成对离散后缀的优化式;提示注入是把指令藏在模型会读到的数据里(网页、文档、工具返回值),投放者可以从未与模型交互,本质是信息流完整性问题,且末端副作用不可逆。注入的修复在系统层(来源标记、权限分离、危险动作确认),不在模型内部的「识别注入」能力上(定义 7.2.3)。

6. 错。 可分 ≠\neq 被使用:探针说明该语义在该层的表示空间中线性可分,不说明模型在推理时依赖它;要证明「被使用」必须做消融(把该方向投影掉,看行为是否改变)(方法 7.3.4)。

7. 对。 在校准前提下,均等化几率要求两组的条件密度满足 P(s^=s∣A=A)=πAπBP(s^=s∣A=B)P(\hat s=s\mid A=\text{A})=\frac{\pi_{\text{A}}}{\pi_{\text{B}}}P(\hat s=s\mid A=\text{B}) 对每个 ss 成立,即两组整个分数分布相差同一个非零常数因子;而两者各自要归一化到 1,故除非分数退化,否则不可能同时满足(定理 7.4.1)。

8. 错。 通道「太安静」通常不是好消息:可能是通道不可达、用户不知道它的存在、或答复成本高到没人愿意走完流程。因此要把通道可达性(通知到申诉的转化率、入口曝光率)与处理量一起作为监控指标,两者都低时先怀疑通道(定义 7.4.3)。

9. 错。 DD 的约定恰好相反:评分越高表示越难检测。它同时依赖监控覆盖、告警灵敏度与响应时间;AI 系统的检测往往是统计性的(有漏报与误报),所以「有监控」不等于「会被发现」,DD 是最容易被高估可检测性的一项(定义 7.5.2)。

10. 错。 止损时间最常被高估:它由「回退路径是否被演练过」决定,而未演练的回退在事故当天通常不可用(配置漂移、依赖变更、权限过期)。承诺它的正确方式是写清触发条件、执行人、执行时长,并至少演练一次(定义 7.6.2)。

第二部分 · 填空与简答(5 题 × 4 分 = 20 分)

11.(4 分) 填出责任链中四个角色「只有它适合承担」的义务,并写出义务分配的依据。 ① 数据提供方:;② 模型开发者:;③ 部署者:;④ 平台 / 基础设施:;依据:____。

12.(4 分) 填出对齐三层的名称、各层一条典型手段与验收证据。

13.(4 分) 写出 ECE 的两条工程事实,并各给一句工程含义。

14.(4 分) 关于「训练累计算力超过 102510^{25} FLOP 即推定为具有高影响能力」这一条,写出三件必须一起交代的事(条款出处、可变动性、引用纪律)。

15.(4 分) 写出一条可验收的安全需求的五个要素,以及定义 7.6.1 的两条附加纪律。

第二部分答案(每题 4 分)

11. ① 数据提供方——来源与授权记录、覆盖度与缺口说明、去标识化与最小化;② 模型开发者——失效模式识别与文档、评估口径(含分群与鲁棒)、红队、模型卡;③ 部署者——用途限制、人机接口设计、监控与回退;④ 平台 / 基础设施——权限最小化、限速与配额、日志留存。(另一可选答案:使用者 / 操作者——遵守使用边界、越界转人工、上报异常。)依据:信息与权力的分布,不是「谁离得近谁负责」——每一环都有别人做不到的那件事,因此责任不能被集中也不能被平摊(定义 7.1.3)。给分:四个义务各 0.5 分(上限 2 分),依据 2 分。

12. 目标对齐(手段:目标设计、示范数据、偏好数据、宪法原则;验收:代理缺口的说明 ++ 与人类判断的抽样一致性);行为约束(手段:拒答边界、使用策略微调、工具权限、人在回路;验收:红队攻击成功率 ++ 过拒率);可监控(手段:表征探针、校准与拒答、审计日志、异常告警;验收:检出率与误报率、告警到处置的时延)。给分:三层名称各 1 分,手段与验收证据合计 1 分(缺「两侧都要测」扣 0.5 分)。(定义 7.2.2)

13. ① 深度网络普遍过度自信——ECE 大意味着「高置信度的错误」频繁出现,这比「不确定时出错」危险得多;工程含义:要把高置信区单独设门槛(分桶报告),并优先用后处理校准压低过自信。② ECE 依赖分桶方式与样本量——桶数 MM 与数据分布都会改变数值;工程含义:报告 ECE 必须同时报告桶数与评测集,跨论文比较要非常小心,禁止只报一个数。给分:每条 2 分(事实 1 分 ++ 含义 1 分)。(定义 7.3.5)

14. ① 出处:欧盟 AI Act 第 51(2) 条给出的可反驳推定(条款号需按官方文本核对);② 可变动性:第 51(3) 条规定委员会可通过授权法案修改该阈值并补充基准与指标,所以阈值是随时间变化的,引用必须注明年份;③ 引用纪律:标注核查时点与来源(EUR-Lex / 官方发布版),并写明「引用前核对现行文本」。本卷的核查时点为 2025 年,本条目属于事实陈述,不评价其合理性(方法 7.4.2、时效补注)。给分:三件各约 1.33 分;缺「可被修改」扣 2 分。

15. 五要素:指标(存在可计算的量)++ 阈值与场景(在明确评测集 / 人群 / 分布上给出通过值与告警值)++ 验证方式(可重复执行的检查:脚本、报告、审计、演练)++ 负责人(角色,不是「团队」)++ 回退路径(止损动作与时延要求)。两条附加纪律:① 两侧都要测(如拒答类需求必须同时给漏答率与过拒率);② 分群报告(涉及人的需求给出最差子群的数值,而不是平均值)。给分:五要素 3 分(各 0.6 分),两条纪律 1 分。(定义 7.6.1)

第三部分 · 推导与计算(3 题 × 10 分 = 30 分)

16.(10 分) KL 正则目标与 DPO。 (a) 对逐提示问题 max⁡πEy∼π[r(y)]−β KL(π∥πref)\max_{\pi}\mathbb E_{y\sim\pi}[r(y)]-\beta,\mathrm{KL}(\pi\Vert\pi_{\text{ref}})、∑yπ(y)=1\sum_y\pi(y)=1,写出拉格朗日函数与一阶条件,解出 π⋆(y)\pi^\star(y) 与 Z(x)Z(x); (b) 反解出 r(y)r(y),说明为什么代回 Bradley–Terry 损失后 βlog⁡Z(x)\beta\log Z(x) 会消失; (c) 已知 β=0.1\beta=0.1、log⁡πθ(yw∣x)πref(yw∣x)=0.8\log\frac{\pi_\theta(y_w\mid x)}{\pi_{\text{ref}}(y_w\mid x)}=0.8、log⁡πθ(yl∣x)πref(yl∣x)=−0.5\log\frac{\pi_\theta(y_l\mid x)}{\pi_{\text{ref}}(y_l\mid x)}=-0.5,求 DPO 损失中该样本的 −log⁡σ(⋅)-\log\sigma(\cdot) 项(保留三位小数); (d) 若 β\beta 改为 0.50.5,该项变成多少?用这一变化说明「β\beta 越大越好吗」。

第三部分答案(10 分)

(a) 展开并构造拉格朗日函数: L=∑yπ(y)r(y)−β∑yπ(y)log⁡π(y)πref(y)+λ(1−∑yπ(y)),∂L∂π(y)=r(y)−β[log⁡π(y)πref(y)+1]−λ=0.L=\sum_y\pi(y)r(y)-\beta\sum_y\pi(y)\log\frac{\pi(y)}{\pi_{\text{ref}}(y)}+\lambda\Big(1-\sum_y\pi(y)\Big),\qquad \frac{\partial L}{\partial \pi(y)}=r(y)-\beta\Big[\log\frac{\pi(y)}{\pi_{\text{ref}}(y)}+1\Big]-\lambda=0 . 整理并把常数项并入归一化常数: π⋆(y)=1Z(x)πref(y)exp⁡ ⁣(r(y)β),Z(x)=∑yπref(y)exp⁡ ⁣(r(y)β)>0.\pi^\star(y)=\frac{1}{Z(x)}\pi_{\text{ref}}(y)\exp\!\Big(\frac{r(y)}{\beta}\Big),\qquad Z(x)=\sum_y\pi_{\text{ref}}(y)\exp\!\Big(\frac{r(y)}{\beta}\Big)\gt 0 .

(b) 取对数反解:βlog⁡π⋆(y)πref(y)=r(y)−βlog⁡Z(x)\beta\log\frac{\pi^\star(y)}{\pi_{\text{ref}}(y)}=r(y)-\beta\log Z(x),即 r(y)=βlog⁡π⋆(y)πref(y)+βlog⁡Z(x).r(y)=\beta\log\frac{\pi^\star(y)}{\pi_{\text{ref}}(y)}+\beta\log Z(x). 代回 L=−E[log⁡σ(r(x,yw)−r(x,yl))]\mathcal L=-\mathbb E[\log\sigma(r(x,y_w)-r(x,y_l))]:ywy_w 与 yly_l 共享同一个提示 xx,βlog⁡Z(x)\beta\log Z(x) 是同一个数,只在差值里出现,因此被消掉——这正是 DPO 不需要奖励模型的来处;把 π⋆\pi^\star 换成 πθ\pi_\theta 即得 DPO 损失,r^=βlog⁡(πθ/πref)\hat r=\beta\log(\pi_\theta/\pi_{\text{ref}}) 是它的隐式奖励。

(c) 先算差值: βlog⁡πθ(yw∣x)πref(yw∣x)−βlog⁡πθ(yl∣x)πref(yl∣x)=0.1×0.8−0.1×(−0.5)=0.08+0.05=0.13.\beta\log\frac{\pi_\theta(y_w\mid x)}{\pi_{\text{ref}}(y_w\mid x)}-\beta\log\frac{\pi_\theta(y_l\mid x)}{\pi_{\text{ref}}(y_l\mid x)}=0.1\times0.8-0.1\times(-0.5)=0.08+0.05=0.13 . σ(0.13)=11+e−0.13≈0.5325,−log⁡σ(0.13)≈0.630.\sigma(0.13)=\frac{1}{1+e^{-0.13}}\approx0.5325,\qquad -\log\sigma(0.13)\approx\mathbf{0.630}.

(d) β=0.5\beta=0.5 时差值 =0.5×0.8−0.5×(−0.5)=0.65=0.5\times0.8-0.5\times(-0.5)=0.65,σ(0.65)≈0.6570\sigma(0.65)\approx0.6570,−log⁡σ(0.65)≈0.420-\log\sigma(0.65)\approx\mathbf{0.420}。所以在这一样本上损失变小了——因为差值随 β\beta 线性放大,而策略已经偏向 ywy_w。但不能由此推出「β\beta 越大越好」:β\beta 同时控制允许相对参考策略偏离的幅度(π⋆∝exp⁡(r/β)\pi^\star\propto\exp(r/\beta)),β\beta 越大越靠近 πref\pi_{\text{ref}}、越学不动,β\beta 越小越容易被奖励模型的漏洞带偏。损失数值的变化只反映「偏好信号强度」,不反映对齐质量。

评分:(a) 4 分(拉格朗日与一阶条件 2 分 ++ 闭式解与 Z(x)Z(x) 2 分);(b) 2 分(反解 1 分 ++ 说明 ZZ 在同提示下抵消 1 分);(c) 2 分(差值 1 分 ++ 数值 1 分,须给出 0.630 量级);(d) 2 分(数值 0.420/0.42 1 分 ++ 指出不能单调推论 1 分)。

17.(10 分) 分桶校准与工作点。某二分类模型在验证集(n=1000n=1000)上的分桶统计:

桶样本数桶内平均置信度桶内实际正确率
13000.150.20
22000.450.40
32500.700.65
41500.850.70
51000.970.80

(a) 逐桶列权重、偏差与贡献,求 ECE; (b) 求 conf‾\overline{\mathrm{conf}} 与 acc‾\overline{\mathrm{acc}} 及其差,解释为什么 ∣差∣≠ECE\lvert\text{差}\rvert\neq\mathrm{ECE}; (c) 按「允许错误率 ≤1.2×(1−conf)\le1.2\times(1-\mathrm{conf})」逐桶检验,指出失守的桶与超限倍数; (d) 若业务要求「自动处理的错误率 ≤0.30\le0.30 且覆盖率 ≥0.20\ge0.20」,给出可行工作点;并说明它与 (c) 的门槛是否冲突、冲突时先做哪一件事。

第三部分答案(10 分)

(a) 权重分别为 0.30, 0.20, 0.25, 0.15, 0.100.30,\,0.20,\,0.25,\,0.15,\,0.10;偏差 ∣acc−conf∣\lvert\mathrm{acc}-\mathrm{conf}\rvert 分别为 0.05, 0.05, 0.05, 0.15, 0.170.05,\,0.05,\,0.05,\,0.15,\,0.17:

桶 权重 偏差 贡献
1 0.30 0.05 0.0150
2 0.20 0.05 0.0100
3 0.25 0.05 0.0125
4 0.15 0.15 0.0225
5 0.10 0.17 0.0170

ECE=0.0150+0.0100+0.0125+0.0225+0.0170=0.077.\mathrm{ECE}=0.0150+0.0100+0.0125+0.0225+0.0170=\mathbf{0.077}.

(b) conf‾=0.30(0.15)+0.20(0.45)+0.25(0.70)+0.15(0.85)+0.10(0.97)=0.5345\overline{\mathrm{conf}}=0.30(0.15)+0.20(0.45)+0.25(0.70)+0.15(0.85)+0.10(0.97)=0.5345;acc‾=0.30(0.20)+0.20(0.40)+0.25(0.65)+0.15(0.70)+0.10(0.80)=0.4875\overline{\mathrm{acc}}=0.30(0.20)+0.20(0.40)+0.25(0.65)+0.15(0.70)+0.10(0.80)=0.4875;差 =0.047=0.047。为什么不等:桶 1 是欠自信(0.20>0.150.20\gt0.15),符号与其余四桶相反,因此 ∑mwm(accm−confm)\sum_m w_m(\mathrm{acc}_m-\mathrm{conf}_m) 内部发生抵消,而 ECE 取的是绝对值再求和:ECE=0.077>0.047\mathrm{ECE}=0.077\gt0.047。工程含义:ECE 同时包含「过自信」与「欠自信」两种误差,但一个净偏差数字可能被抵消掉;要判断方向必须看逐桶的符号。

(c) 逐桶检验(允许错误率 =1.2×(1−conf)=1.2\times(1-\mathrm{conf}),实际错误率 =1−acc=1-\mathrm{acc}):

桶 允许错误率 实际错误率 判定 超限倍数
1 1.02 0.80 通过 0.78
2 0.66 0.60 通过 0.91
3 0.36 0.35 通过(勉强) 0.97
4 0.18 0.30 不通过 1.67
5 0.036 0.20 不通过 5.56

(d) 可行工作点:τ=0.85\tau=0.85 时只自动处理桶 4、5,覆盖率 =(150+100)/1000=0.25=(150+100)/1000=0.25,风险 =1−150(0.70)+100(0.80)250=1−0.74=0.26=1-\frac{150(0.70)+100(0.80)}{250}=1-0.74=0.26,满足「≤0.30\le0.30 且 ≥0.20\ge0.20」;τ=0.97\tau=0.97 时覆盖率只有 0.100.10,不满足覆盖率要求(τ=0.70\tau=0.70 时覆盖率 0.500.50、风险 0.3050.305 已超错误率要求)。与 (c) 冲突:逐桶口径下桶 4、5 都不该被自动处理,也就是说「按 (c) 的门槛」没有可行工作点。先做哪一件事:先做后处理校准(温度缩放 / 分桶等距回归)把高置信区的过自信压下来,再重新计算工作点;若校准后仍失守,则扩大转人工比例(用人力成本换风险),而不是放松门槛。注意校准不改变排序,因此它只解决「置信度是否说得准」,不解决「预测本身对不对」(定义 7.3.5、例 7.3.2)。

评分:(a) 3 分(权重与偏差 1 分 ++ 贡献与 ECE =0.077=0.077 2 分);(b) 3 分(两个均值各 1 分(0.5345/0.48750.5345/0.4875)++ 解释符号抵消 1 分);(c) 2 分(两桶失守各 1 分);(d) 2 分(工作点 (0.25,0.26)(0.25,0.26) 1 分 ++ 冲突与处置顺序 1 分)。

18.(10 分) 公平度量与需求。某助学贷款审批模型的分群评估结果:

组样本数基础通过率 P(Y=1)P(Y=1)模型通过率 P(Y^=1)P(\hat Y=1)假阴性率假阳性率
A20000.300.280.150.10
B8000.200.140.350.09
C4000.250.120.440.07

(a) 三个常用准则各自的读数是什么?能否同时满足? (b) 写出「校准时均等化几率」所要求的比例关系与比例因子数值;若某分数网格点上 π(s)=0.6\pi(s)=0.6、P(s^=s∣A=A)=0.18P(\hat s=s\mid A=\text{A})=0.18,B 组必须取到什么条件密度? (c) 写出「以机会均等为主准则、约束组间假阴性率之差 ≤δ\le\delta」的一条可验收需求(五要素齐备,δ\delta 可给具体值); (d) 采用该需求时,代价落在谁身上?(只要求陈述事实与推理,不要求下价值判断。)

第三部分答案(10 分)

(a) 人口统计平价要求各组通过率相等:0.28, 0.14, 0.120.28,\,0.14,\,0.12——A 组与 C 组相差约 2.332.33 倍 → 明显不满足。机会均等 / 均等化几率看真实标签条件下的错误率:假阴性率 0.15, 0.35, 0.440.15,\,0.35,\,0.44——B 组是 A 组的约 2.332.33 倍、C 组接近 2.932.93 倍 → 明显不满足(这是最该立刻处理的一项:它直接损害被系统筛掉的合格者)。预测平价 / 分群校准:本表无法直接验证(需要按分数分桶、逐组比较),但有一个可用信号——三组基础发生率不同(0.30≠0.20≠0.250.30\neq0.20\neq0.25)而假阳性率接近(0.10, 0.09, 0.070.10,\,0.09,\,0.07),这种组合通常同时意味着「分群校准被破坏」或「假阴性率必然不同」。不能同时满足:由定理 7.4.1,基础发生率不同时,分群校准与均等化几率一般不能兼得。

(b) 设分数 s^\hat s 在各组校准(P(Y=1∣s^=s)=π(s)P(Y=1\mid \hat s=s)=\pi(s) 与群体无关),则贝叶斯给出 P(s^=s∣Y=1,A=a)=π(s) [s^=s∣A=a]πa,P(\hat s=s\mid Y=1,A=a)=\frac{\pi(s)\,[\hat s=s\mid A=a]}{\pi_a}, 均等化几率(至少对 y=1y=1)要求两式相等,于是 P(s^=s∣A=A)=πAπB P(s^=s∣A=B),πAπB=0.300.20=1.5.P(\hat s=s\mid A=\text{A})=\frac{\pi_{\text{A}}}{\pi_{\text{B}}}\,P(\hat s=s\mid A=\text{B}),\qquad \frac{\pi_{\text{A}}}{\pi_{\text{B}}}=\frac{0.30}{0.20}=\mathbf{1.5}. 即在 A 组出现的条件密度必须是 B 组的 1.51.5 倍。代入数值:A 组该点 0.180.18,则 B 组必须取 P(s^=s∣A=B)=πBπA×0.18=0.200.30×0.18=0.12.P(\hat s=s\mid A=\text{B})=\frac{\pi_{\text{B}}}{\pi_{\text{A}}}\times0.18=\frac{0.20}{0.30}\times0.18=\mathbf{0.12}. 该要求在每一个 ss 上同时成立,等价于两组整个分数分布相差同一个非零常数因子 1/1.51/1.5;由于两分布各自要归一化到 11,这在非退化情形下不可能——这就是不相容性的来源。

(c) 需求示范:指标——组间假阴性率之差(最差组与最优组,绝对差)与各组的分群校准偏离;阈值与作用对象——在占位评测集(各组样本量 ≥500\ge500;受保护属性用「自愿申报」与「推断补足」两套口径各跑一遍)上,组间假阴性率之差 ≤δ=0.05\le\delta=0.05,且各组分群校准偏离 ≤0.05\le0.05;上线后按月复测,任一组相对首月基线恶化 ≥3\ge3 个百分点即告警。验证方式——分群评估报告(含置信区间与推断属性的质量指标)++ 告警演练记录(人为注入一次偏移,验证 24 小时内触发)。负责人——模型负责人(准则与代价)与业务负责人(残余风险接受)双签。回退路径——触发告警后 24 小时内把该组降级为「进入人工复核池」,并按季度重新评估准则。

(d) 代价落在谁身上(事实陈述):把假阴性率拉平需要把资源向 B、C 组做分数调整或阈值调整,因此在样本量、基础发生率不变的条件下,代价有两种归属——若通过收紧 A 组阈值来腾出名额,则由 A 组中分数处于边界附近的合格申请者承担(他们被错筛的概率上升);若通过放宽 B、C 组阈值实现,则由 与 B、C 组被放行者竞争的其他人承担(假阳性上升,名额被占用),且 B、C 组的基础发生率本身更低,放行比例的上升会更快推高假阳性率。两种做法的共同点是:代价不会消失,只会换一个承担者——这正是「必须显式选择并说明代价」的内容(方法 7.4.1、例 7.4.1)。另外,C 组只有 400 个样本,其指标置信区间很宽,因此不要在小样本上做阈值精调,应先报区间、再决定是否补采样。

评分:(a) 4 分(三准则读数各 1 分 ++ 不兼容结论 1 分);(b) 3 分(比例关系 1 分 ++ 因子 1.5 1 分 ++ B 组必须取 0.12 1 分);(c) 2 分(五要素齐备 1 分 ++ δ\delta 可验收 1 分);(d) 1 分(写出两种承担者中的至少一种,不得写成价值判断)。

第四部分 · 开放题(2 题 × 10 分 = 20 分)

19.(10 分) 某招聘平台要把「简历筛选助手」从给人建议升级为直接排序并自动淘汰(模型自动淘汰后,被淘汰者只会收到一封模板邮件)。 要求:(a) 用四问框架逐问给出答案; (b) 给出你对该升级的判断与依据(必须包含至少一个「不给能力」型的替代方案); (c) 写出两条可验收的需求(五要素齐备)。

第四部分答案(10 分)

(a) 四问:Q1 谁受影响——应聘者(被错筛者失去机会,且往往不知道自己被系统筛掉);招聘方(错招与声誉);非用户:后续用工团队、被错配影响的下游客户,以及某群体的长期代表性。Q2 错误的代价——单向不对称:把合格者错误淘汰(假阴性)的代价通常远高于把不合格者放入面试(假阳性);而且代价形态含「机会与生计」,不是金钱可补偿。Q3 可逆性——自动淘汰近乎不可逆:邮件已发、人选可能已在别处签约;面试环节的误放行则可逆(多花面试工时)。Q4 谁有权申诉——现状是结构性缺失:被淘汰者不知道存在自动化决策,模板邮件里没有理由与入口;因此可行替代是对流程留痕(模型输出与阈值决策进入审计日志、可回溯、可统计),而不是仅对个体开放通道。

(b) 判断与依据:不升级(或升级为「排序 ++ 人工确认淘汰」),依据有三条:① 该升级把最不可逆的那一步交给了自动化(Q3),而可逆性恰是四问中单方面可改变的一问;② 现有申诉与解释机制不成立(Q4),而没有任何外部通道的系统无法发现系统性偏差;③ 现有数据(历史录用记录)是代理变量,同时编码胜任度与历史歧视,用它做硬门槛会把历史差异固化为当下的淘汰理由。「不给能力」型替代方案(至少一条):模型只输出排序与依据摘要,淘汰必须由人执行;或模型只能从「进入面试 / 进入人工复核池」两个输出中选择,取消「自动淘汰」这一输出(等价于把不可逆动作从自动化路径移出)。这类改动的验证成本远低于「约束模型别乱淘汰」——「系统没有这个能力」是可检验的(定义 7.6.1 后的不等式)。

(c) 两条需求(五要素齐备):

需求 E-1:在占位评测集(≥1000\ge1000 条,各组样本量 ≥300\ge300;受保护属性用「申报」与「推断」两套口径)上,各组的假阴性率之差 ≤0.05\le0.05,且最差组的假阴性率绝对值 ≤0.20\le0.20;上线后按月复测,任一组相对首月基线恶化 ≥3\ge3 个百分点即告警。验证:分群评估报告(含置信区间与推断属性质量)++ 告警演练记录。负责人:模型负责人(阈值)与招聘业务负责人(残余风险接受)双签。回退:触发告警后 24 小时内把该组的自动流程降级为「全部进入人工复核」。 需求 E-2:不存在任何未经人工确认的淘汰路径;每次淘汰必须记录模型分数、阈值版本、复核人、复核用时与结论,日志只追加、保留 ≥180\ge180 天,抽样对账 20 次全部可证。验证:端到端演练(构造一条应被淘汰的样本,断言若无人确认则不产生淘汰动作)++ 日志完整性抽查。负责人:平台工程负责人。回退:日志或确认链路不可用时,自动降级为「只排序、不产生任何对外动作」。

评分:(a) 4 分(四问各 1 分,Q2 必须写出单向不对称、Q4 必须指出结构性缺失);(b) 3 分(判断 1 分 ++ 两条依据 1 分 ++ 至少一个「不给能力」替代方案 1 分);(c) 3 分(两条需求各 1.5 分,须五要素齐备且阈值可验收)。

20.(10 分) 某已上线的半自动决策系统(低风险档自动执行、其余转人工)在两周后运维发现三件事:① 某分群的样本量相对基线下降 25%25%;② 平均指标基本不变;③ 申诉量下降。 要求:(a) 按三层指标判断这三条信号各落在哪一层,并指出最可能正在发生什么(可能涉及三类失败模式中的哪一类或哪几类); (b) 给出此刻的正确动作顺序,并指明四时限中哪一项决定这段时间的损失总量; (c) 写出两条可测量的失败判据与对应的动作。

第四部分答案(10 分)

(a) 三层定位:① 样本量下降属于漂移检测本身的指标(输入侧)——样本量往往先于指标恶化出现,它是最早的信号;② 平均指标不变:说明质量问题被掩盖——要么真的没恶化,要么恶化的那部分子群占比小、被平均掉(这正是「平均值掩盖子群」的常态);③ 申诉量下降落在安全层 / 通道层,而且「太安静」通常不是好消息:可能是通道不可达、用户不知道入口,或答复成本高到没人愿意走完流程。最可能发生什么:先怀疑反馈回路 / 系统性偏差(定义 7.1.4 第 3 类):某分群的输入构成变了或被系统性地挡在流程之外(例如早前的自动决策把该群体的数据挤出了后续样本),同时申诉通道的可达性在下降,使得错误无人上报;若样本量下降伴随该分群错误率上升,则还可能叠加意外失效(新输入落在未覆盖区域)。三类里至少包含系统性偏差;要区分还需分群指标与通道可达性数据。

(b) 动作顺序:① 先止损(若分群指标确已恶化:把该分群的自动决策切到人工 / 回滚上一版本)→ ② 确认止损生效(用安全层指标与对照数据验证后果停止累加)→ ③ 再定位(在后果不再累加的状态下做归因;期间保留随机抽样作为对照,抵消反馈回路)→ ④ 通报与复盘(含受影响方与相关方,对应 TnotifyT_{\text{notify}})。决定损失总量的是 TmitigateT_{\text{mitigate}}(止损时间):TdetectT_{\text{detect}} 已经过去(信号已到),TtriageT_{\text{triage}} 影响的是「多久开始止损」,而止损时间直接决定后果累加的时长;它由「回退路径是否演练过」决定,这也是本讲反复强调「先止损、后定位」的原因——定位期间继续运行会改变数据、污染证据(日志与反馈被新模式覆盖),而回滚本身给出一次自然的对照实验。需要注意:申诉量下降这一条不能作为「情况在好转」的证据,反而提示通道失效,应与可达性指标一起看。

(c) 两条判据与动作:

  • 判据 1:该分群的样本量连续两期相对基线下降 ≥20%\ge20\%,且该分群的质量指标相对基线上浮 ≥3\ge3 个百分点 → 动作:立即把该分群切到人工复核(止损),并在 5 个工作日内完成原因分析;同时检查数据管线是否把该分群的历史决策样本排除在外(反馈回路)。
  • 判据 2:申诉量与决策量之比低于预设下限,而入口曝光率正常、回访显示用户知道入口 → 动作:判为「用户在放弃」,先修答复时限与入口文案,并把处理时长 P95 与推翻率按群体的分布纳入看板(推翻率分布是极强的偏差探测器)。
  • 两条判据都必须事前写死并有接收角色,否则它们只是描述而不是门槛(方法 7.6.3、定义 7.6.2、定义 7.4.3)。

评分:(a) 4 分(三条信号的层次 2 分 ++ 至少指出「系统性偏差」并给理由 2 分);(b) 3 分(顺序 2 分,必须体现「先止损、后定位」++ 指出 TmitigateT_{\text{mitigate}} 1 分);(c) 3 分(两条判据各 1.5 分,须可测量且配动作)。

评分标准

部分题量分值给分要点
一 · 概念判断1030判断 1 分 ++ 理由 / 反例 2 分;只写对错得 1 分
二 · 填空简答520结果正确 2 分 ++ 关键说明 2 分;数错一处扣 1 分
三 · 推导计算330首行或公式 3 分 ++ 链条完整 4 分 ++ 前提与讨论 3 分;只写结论最多 3 分
四 · 开放题220方案具体 4 分 ++ 判据可测量 4 分 ++ 验证计划 2 分

段位换算:≥90\ge90 优秀(能把三层与五要素用到新场景,并主动交代核查时点);75 ⁣− ⁣8975!-!89 良好(能独立写出一份需求与一个工作点);60 ⁣− ⁣7460!-!74 及格(概念清楚但分桶、五要素与回退路径不牢);<60&lt;60 回到习题集对应组重做。

自评纪律:① 判断题的理由必须含机制词(长度上限 / 优化压力 / 对齐预算 / 参考策略 / 信息流完整性 / 可分与使用 / 比例因子 / 通道可达性 / 越难检测 / 回退演练),否则按半对给 1 分;② 推导题凡是跳过前提(如没写「同提示下 Z(x)Z(x) 相同」、没写「校准」这一前提)的,从「前提与讨论」里扣 1 分;③ 开放题只写方案不写失败判据的,该部分上限 6 分;④ 凡是引用监管事实却没写核查时点的,每处扣 1 分(时效纪律)。

漏点定位表

最后一句:这一讲不承诺「做完了就安全」。它承诺的是一套写下来的形状——风险清单要有残余风险的接受者,需求要有指标、阈值与场景、验收、负责人、回退,解释性结论要有证据等级,而任何一个数字被引用时都要能回答「在什么条件下、用什么口径、核查于何时」。凡是「写得出来但讲不清代价与回退」的地方,回到对应节的 intuition 与学习目标自检表当天再练一遍。