吵自动驾驶没意思，估计车版不知道多少人拍过你了。
很显然的结论：自动驾驶导致的危险必然是数量级上远小于人类的。
自动驾驶所涉及的场景在99.9999%下也是个封闭系统，
只是量级大一些而已。

反对自动驾驶在我看来就如同因为车祸而反对汽车，
而坚持人类应该继续步行交通一样（忽略马车）。

【 在 qtpr 的大作中提到: 】
: 棋类游戏是规则明确可形式化的封闭世界，跟开放世界中的问题有本质区别。
: 开放世界的规则经常根本是不可形式化的。简单的例子，有时你违反交规反倒更安全，例如高速服务区的出口你前边遇到了慢车，压着你没法提速并入主道。这时你观察到后边实际上没车，可以压实线提前并入主道。类似的情况，人知道该怎么选，但很难用一致且完备的形式系统形式化出来。
:
--
FROM 125.69.147.*