具备随时有效保证的 AI 系统自适应审查

研究者提出了一种具备随时有效保证的 AI 系统自适应审查框架，利用安全随时有效推断（SAVI）与同步 e-processes 构建对决假设检验。该框架将审计过程形式化为通过下注进行检验，通过审计即可在理论上证明系统具备全局鲁棒性。实验表明，该方法能严格控制随时有效的 I 类错误，性能优于预设测试，有时仅需 20 个样本即可得出严谨结论。