如果自动驾驶车辆能够在2035年前显著减少道路伤害，那将是巨大的。 但安全关键的自主性需要证据，而不是承诺。 这就是为什么Inference Labs专注于可验证推理，以便在现实世界中运行的系统。