自动驾驶汽车能在多数道路上跑起来，不等于它在罕见场景中也不会犯大错。只靠反复路测，很难覆盖所有可能。曹操出行此时请来图灵奖得主约瑟夫·西法基斯，值得关注的正是这一点：企业开始把“如何证明系统安全”放到更重要的位置。
据 scanx.trade 报道，西法基斯于 6 月 29 日出任曹操 AI 创新中心首席科学顾问，将为公司向“AI 原生”转型提供学术支持和战略路线指导，重点涉及安全、可靠的自动驾驶技术。这也是他首次深入参与一家中国科技公司的 AI 战略。西法基斯因推动模型检测（model checking）发展，与 Edmund Clarke、E. Allen Emerson 共同获得 2007 年图灵奖。模型检测会把系统及安全规则写成数学模型，再自动寻找可能违规的运行路径，像是在车辆真正上路前，先系统排查控制逻辑中的危险岔路。
这项任命本身不代表曹操出行已经解决了自动驾驶安全问题，但显示其 Robotaxi 和 RoboX 战略正在吸收形式化验证思路：用数学规则补强有限道路测试难以覆盖的边缘情况。现有材料未披露西法基斯将参与哪些具体项目，也没有给出商业化时间表。