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