随着AI从云端走向物理世界（车辆、机器人、基础设施、国防系统），错误的成本急剧上升。 在这些环境中，“我们测试过”是不够的。 系统必须能够证明它们做了什么、如何做到的，以及在什么规则下进行的。 这就是为什么我们在大规模上开创可验证的AI。