2026世界人工智能大会（WAIC）即将于7月17日至20日在上海拉开帷幕。本届大会以“智能伙伴 共创未来”为核心主题，汇聚全球人工智能领域的顶尖专家与行业领军者。图灵奖得主、可信人工智能与复杂系统研究领域的先驱约瑟夫·希发基思（Joseph Sifakis）已确认出席，并将发表重要观点。
作为形式化方法与可信人工智能领域的奠基人之一，约瑟夫·希发基思教授深耕复杂系统安全性、可靠性及可验证性研究数十年。其理论成果不仅推动了学术前沿发展，更在航空航天、工业控制等对安全要求极高的领域实现广泛应用。例如，他提出的模型检测技术已成为验证硬件与软件系统正确性的国际标准工具，为全球智能系统安全提供了关键理论支撑。
今年6月，这位国际学术巨擘正式接受邀请，出任曹操出行AI创新中心首席科学顾问。这一任命标志着曹操出行在全面AI转型进程中迈出关键一步。据悉，该企业已发布“RoboX战略”，旨在构建全球领先的物理AI移动科技平台，通过融合自动驾驶、智能调度与能源管理等技术，重塑未来出行生态。
在新的岗位上，希发基思教授将聚焦可信Robotaxi体系建设。他计划将自主系统理论框架与自动驾驶商业化实践深度结合，从系统架构设计、安全验证机制到风险控制模型，为曹操出行的技术路线提供全链条理论指导。这一合作被业界视为学术研究与产业应用融合的典范，有望加速高安全等级自动驾驶技术的规模化落地。
随着WAIC开幕临近，约瑟夫·希发基思的参会引发广泛关注。组委会透露，除主题演讲外，他还将参与多场高端对话，探讨人工智能伦理、可信系统开发等前沿议题。此次大会预计吸引超过500家企业参展，设置自动驾驶、大模型应用等十大展区，全面展示中国在人工智能领域的创新实力。
