2026年世界人工智能大会（WAIC 2026）的举办日期已经正式公布——7月17日至20日，相约上海。今年大会的主题颇具深意：“智能伙伴 共创未来”。在嘉宾阵容中，有一位重量级人物尤为引人注目：图灵奖得主约瑟夫·希发基思（Joseph Sifakis）教授。他此次不仅以参会嘉宾身份出席，还将以曹操出行人工智能创新中心首席科学顾问的角色参与相关专题活动。

希发基思教授在学术界的成就不言而喻。他长期专注于形式化方法、可信人工智能，以及复杂系统在安全性、可靠性与可验证性方面的基础研究——可以说，他是这一领域具有开创性意义的领军人物。他的理论成果早已跨越学术论文的边界，在航空航天、工业自动化等对安全要求极高的关键行业中落地生根，并产生了实实在在的应用价值。

就在今年6月，这位教授正式接受了曹操出行的聘书，出任其人工智能创新中心首席科学顾问。值得关注的是，曹操出行当前正全力推进AI战略转型，并同步启动了RoboX计划，目标十分明确：打造一个具备全球竞争力的物理人工智能移动科技平台。在这个关键节点上，希发基思教授的加入，核心任务是为可信Robotaxi系统的构建提供理论支撑与前沿科学指导，加速可靠自主系统研究成果从实验室迈向规模化商业应用的进程。背后的逻辑非常清晰：要实现大规模落地，必须先建立可信基础。