2026世界人工智能大会（WAIC）定于7月17日至20日在上海盛大举行，图灵推本届大会以“智能伙伴 共创未来”为主题。主希展图灵奖获得者约瑟夫·希发基思（Joseph Sifakis）教授将亲临现场，发基并以曹操出行人工智能创新中心首席科学顾问的思加身份深度参与大会相关活动。

权威背书：深耕可信AI与形式化方法

希发基思教授是盟曹形式化方法、可信人工智能以及复杂系统安全性、操出可靠性与可验证性领域的行共信奠基性学者之一。其开创性的图灵推理论成果已在航空航天、工业自动化等对安全容错率要求极高的主希展关键基础设施领域得到广泛应用，为高可靠性系统的发基构建提供了坚实的科学基础。

战略协同：加速可信Robotaxi商业化落地

今年6月，思加希发基思教授正式受聘担任曹操出行人工智能创新中心首席科学顾问。盟曹当前，操出曹操出行正全面深化人工智能战略转型，行共信并同步启动RoboX计划，图灵推旨在打造具备全球竞争力的物理人工智能移动科技平台。

在此战略框架下，希发基思教授将聚焦于可信Robotaxi系统的构建，提供核心理论支撑与前沿科学指导，致力于加速可信自主系统理论成果向规模化商业应用的转化，推动自动驾驶技术向更高水平的安全与可信迈进。

来源：中关村在线 | 标签：汽车 | 原文链接：https://ai.zol.com.cn/1212/12129003.html