逐步
将该方法应用于一个真实的任务。
提取来源值和单位
从任务包中复制每个输入值并标注其单位、符号和含义。不要静默修复或推断缺失的值。
- 检查点
- 计算中的每个数字都对应一个声明的来源值或一个明确命名的派生值。
写出操作顺序
在重新计算之前，将计算表达为显式的操作。确认比率或意外情况适用的子总计。
- 检查点
- 第二个评审员可以在不阅读模型文本的情况下重现预期的序列。
重新计算中间值
独立计算每个小计，并在中间步骤中保留足够的精度。记录，而不是隐藏任何舍入规则。
- 检查点
- 第一个不同的中间值标识了错误开始的地方。
协调最终结果
在可能的情况下，使用反向、替代分组或总和检查。确认单位、符号、数量级以及最终标签是否与数字匹配。
- 检查点
- 最终金额与独立重建的路径和合理性检查一致。
将算术与假设分开
独立于输入、费率、业务规则或预测假设是否合适，说明算术是否正确。
- 检查点
- 接受声明准确说明了已验证和未验证的内容。
决策规则
明确边界。
- 如果无法追踪所需源值、单位或操作，则拒绝计算。
- 除非任务或管理规则要求，否则不要四舍五入中间的货币值。
- 一个正确的最终数字，但路径无法重现，不能完全审计。
- 算术验证无法验证输入背后的业务或领域假设。
可重复使用的工件
计算审计工作表
将模板复制到您的笔记中，或下载Markdown文件并将其与任务证据一起保存。
预览模板
# AI 计算审计
## 需要验证的声明
- 声明结果：
- 单位：
- 预期的决策或用途：
## 源值
| 标签 | 数值 | 单位 | 来源 |
| --- | ---: | --- | --- |
| | | | |
## 重建的计算
1. 操作：
- 中间值：
2. 操作：
- 中间值：
## 检查
- 四舍五入规则：
- 替代或逆向检查：
- 单位和符号检查：
- 数量级检查：
## 决策边界
- 算术：正确 / 错误 / 未解决
- 首次不匹配：
- 假设未验证：
- 人工审核员
链接证据
检查此方法的应用位置。
- 预算计算已审查案例
一个确定性示例，包含三个捕获的计算和一个显式的算术证明。