科幻短篇小说：胖子在上（二）

从前，有个胖子朋友。
三、 自动驾驶
“证明”，最难的便是证明。人工智能领域几起几落，当自动驾驶渐渐走入死胡同的时侯，很多人以为，接下来相关研究又会被打包塞进储藏室、无人问津。
却有一个人说：“如果我们把自动驾驶用到货运系统上呢？”
施意涵，一个让全世界脑力工作者都心神动摇的名字——那个时候，胖子老是提起他。他指出，运货车大部分时间跑在荒郊野外，不用担心碰瓷或者行人，甚至可以给它们单独开辟一条车道；运货车通常不止一辆，可以在车队里安置一台服务器，汇总分析所有的情况，最大限度地杜绝误判。最了不起的是，他解决了“证明”问题。
推广自动驾驶汽车的阻力之一是，怎么向大众证明它们像人一样可靠。自动驾驶汽车的系统，一部分负责推演各种各样的局面，通常工作地不错；问题是另一部分，负责判断和决策的系统。在计算机学界，有一个莫拉维克悖论：只要有足够的时间，计算机迟早能找到更大的质数，但是，你很难跟它解释，当女朋友说“我心都碎了”的时候，不用叫救护车。