Irving称Uber自动驾驶安全论证非数学证明
热点事件持续更新
Irving称Uber自动驾驶安全论证非数学证明
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Geoffrey Irving 分析 Uber ATG（后并入 Aurora）的自动驾驶系统安全论证后指出，它并非数学证明，部分关键节点依赖人类对“可接受的功能表现”等指标的主观判断。 这意味着，该安全论证以一定失败风险可接受为前提，并通过持续测试和迭代纠错，而不能从形式逻辑上排除所有危险情形。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 00:50
Geoffrey Irving 分析 Uber ATG 自动驾驶系统安全论证中的主观判断报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- AGI HuntGeoffrey Irving 分析 Uber ATG 自动驾驶系统安全论证中的主观判断
Geoffrey Irving 以 Uber ATG（后并入 Aurora）的自动驾驶系统安全论证为例，指出它并非数学证明。其部分节点依赖对“可接受的功能表现”等人类主观判断，因此只能通过接受一定失败率并持续迭代来纠错。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。