曹操出行首席科学顾问、图灵奖得主Joseph Sifakis亮相WAIC，阐述可信AI三大原则

　　7月17日，曹操出行首席科学顾问、图灵奖得主约瑟夫.希发基思(Joseph Sifakis)教授受邀出席2026世界人工智能大会(WAIC)，在人工智能国际标准化论坛上发表视频讲话，首次阐述可信Robotaxi应遵循的三项核心原则，为人工智能进入物理世界提供重要理论参考。

　　希发基思教授长期致力于形式化方法、复杂系统安全以及可信自主系统研究，是国际公认的可信AI领域奠基性学者之一。他在演讲中指出，随着人工智能不断从数字世界走向物理世界，Robotaxi正成为最具代表性的AI应用场景之一。未来Robotaxi的发展，不仅取决于人工智能模型能力，更取决于系统能否在开放、复杂、不确定环境中持续实现安全、可靠、可预测的运行。

　　围绕这一问题，希发基思教授提出实现可信Robotaxi需要遵循三项基本原则。

　　第一，构造即安全(Safe by Design)。安全不应依赖事后补救，而应从系统设计之初融入整车架构，通过原生设计构建安全底座。

　　第二，系统协同(System Coordination)。Robotaxi不是单一车辆，而是由车辆、云平台、调度系统、通信网络和运营体系共同组成的复杂自主系统。只有各系统协同运行，才能实现整体可信。

　　第三，运行保障(Runtime Assurance)。开放道路永远存在不确定性，因此安全保障必须贯穿运行全过程，通过实时监测、系统冗余、远程支持等机制持续维持系统安全边界。

　　希发基思教授表示，这三项原则并非抽象理论，而是可信自主系统长期发展的工程实践总结，也是Robotaxi迈向规模化商业运营的重要基础。他认为，曹操出行围绕智能定制车、智能驾驶和智能运营构建的RoboX体系，与可信自主系统所强调的系统性工程理念高度契合。

　　结合可信自主系统理论，曹操出行进一步提出可信Robotaxi能力体系，以可信车辆、可信运行保障、可信运营系统三大能力，打造面向规模化商业运营的系统解决方案，并持续推动可信理念在真实出行场景中的工程实践。

　　随着Robotaxi产业逐步迈向规模化商业运营，可信正成为行业关注的重要方向。此次希发基思教授亮相WAIC，不仅分享了可信自主系统的前沿理论，也为可信Robotaxi的发展提供了新的思考路径。未来，曹操出行将继续携手希发基思教授，推动可信自主系统理论与真实出行场景深度融合，持续探索更加稳健、可信赖的Robotaxi规模化发展路径。