#图灵奖得主谈Robotaxi安全#【对话图灵奖得主希发基思：#百亿英里仿真证明不了Robotaxi安全#】“Robotaxi行业最缺的不是某项技术，而是一套能证明它安全的科学方法。”近日，2007年图灵奖得主、中国科学院外籍院士约瑟夫·希发基思（Joseph Sifakis）在接受@第一财经日报 记者采访时表示。

希发基思因在今年6月受邀出任曹操出行AI创新中心首席科学顾问，并于近日来到中国见证曹操出行启动Robotaxi站点可信决策与多智能体协同研究项目。此前在今年世界人工智能大会上，他提出可信Robotaxi需遵循构造即安全、系统协同和运行保障三项原则。

希发基思的上述判断指向行业最通行的安全证明方式——公布测试里程。有美国企业宣称仿真测试里程已达100亿到110亿英里而无事故，希发基思的评价是“从技术角度看，这完全是伪命题”。他认为，仿真里程必须和真实驾驶里程挂钩，且要交代天气、路况、车辆配置等测试条件，否则数字没有意义。而更根本的缺口在于，工程学测试任何系统都需要覆盖标准理论，即证明所有可能的危险情形都已被测试覆盖，这套理论在传统软件上已经成熟，自动驾驶车辆至今建立不起来。“没有覆盖标准，就没有科学基础去断言一辆Robotaxi是安全的。”http://t.cn/AXjt4hiT http://t.cn/AXjt4zpw