出行行业正迎来一位重量级的技术“掌舵人”。 6 月 29 日，曹操出行正式对外宣布，图灵奖得主约瑟夫·希发基思（Joseph Sifakis）已出任其AI创新中心首席科学顾问。这位在形式化验证与可信自…