有约束的 AI：让需求成为可执行检查
例如保持在允许区域内的要求，需要明确测试。仅把要求写入提示，无法告诉运营人员最终结果是否满足条件。
G-ATAI 分析
区分硬性要求和偏好。计划可能必须遵守权限与固定预算，同时希望减少延迟。把硬性要求放入独立验证器，给出明确的通过或失败结果。检查应靠近实际操作边界，避免后续变换使早先批准失效而未被发现。
除了成功案例，还要测试不可能的请求和矛盾条件。不存在有效方案时，应用应说明哪个要求阻止继续，并把控制权交还负责人。违规次数与质量分数要分别记录；良好的平均表现不能抵消越界。连接重要操作前，先用小规模、可撤销的试点验证检查器、备用流程和审计记录。
部署前应确认的问题
- 哪些要求不能为更高分数让步？
- 独立验证器能否检查最终动作？
- 不可能的请求是否停止并说明原因？
根据 MIT News 撰写的独立评论，不代表与 MIT 存在合作关系或获得其认可。
