先了解这件事
AI 综述
2026年8月12日,Amazon发布自动推理团队(ARG)成立十周年的回顾。回顾称,该团队十年来已将形式化验证从学术研究转化为每天处理数十亿次查询的生产服务,其Tiros、Zelkova等工具演化为IAM Access Analyzer、Amazon Inspector和Reachability Analyzer。回顾还提到,该团队证明了Nitro隔离引擎、密码学实现以及每秒处理10亿次API调用的授权引擎的正确性;Amazon Bedrock Guardrails的自动推理检查用形式逻辑验证模型响应是否符合既定策略,验证准确率最高达99%。目前没有该回顾之后的新发展事实。
AI 根据公开报道生成
事件进展
1 个已确认进展
- 来源：Amazon Science
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
8月12日
Amazon Science一手
亚马逊自动推理团队成立十周年：从 Tiros、Zelkova 到 IAM Access Analyzer 的形式化验证落地
亚马逊自动推理团队（ARG）成立十年来，已将形式化验证从学术研究转化为每天处理数十亿次查询的生产服务，其 Tiros、Zelkova 等工具演化为 IAM Access Analyzer、Amazon Inspector 和 Reachability Analyzer。该团队还证明了 Nitro 隔离引擎、密码学实现以及每秒处理 10 亿次 API 调用的授权引擎的正确性。Amazon Bedrock Guardrails 的自动推理检查用形式逻辑验证模型响应是否符合既定策略，验证准确率最高达 99%。