Geoffrey Irving 分析 Uber ATG 自动驾驶系统安全论证中的主观判断

Geoffrey Irving 以 Uber ATG（后并入 Aurora）的自动驾驶系统安全论证为例，指出它并非数学证明。其部分节点依赖对“可接受的功能表现”等人类主观判断，因此只能通过接受一定失败率并持续迭代来纠错。