2026年6月29日，曹操出行正式宣布聘任图灵奖得主、形式化验证与可信自主系统领域顶尖学者约瑟夫·希发基思出任AI创新中心首席科学顾问。后者将主导企业AI战略布局与核心技术架构建设，助力曹操出行落地RoboX战略及双十万计划，加速推进AI原生转型，搭建全链路智能运力生态体系。
6月29日的这则官宣，是今年国内出行行业产学研联动领域最具标志性的动作之一。作为全球形式化验证方法的奠基人，约瑟夫·希发基思的研究成果此前已经广泛应用于航空航天、工业控制等高可靠性要求的场景，此次跨界出任出行企业的技术顾问，也被业内视为AI技术向实体产业下沉的重要信号。
登录后解锁全文，体验收藏、点赞、评论等完整功能
立即登录
滇公网安备 53252802528133号