王宏泽（学生）：关于自动驾驶系统，目前主流的方法是基于深度学习的。然而也有一些团队致力于使用形式化方法来实现自动驾驶系统。请问您如何看待这种基于形式化的方法？您认为他们能够成功吗？
Joseph Sifakis：基于形式化方法实现自动驾驶系统的努力是值得肯定的，有价值的。但是我们应该结合深度学习和形式化方法。如果能够拥抱AI，我觉得他们会成功的。
20年发展，让支付更便捷让服务更高效，让每一笔支付见证“支付为民”历程，满足人民群众日益增长的支付需求，为....
20年发展，让支付更便捷让服务更高效，让每一笔支付见证“支付为民”历程，满足人民群众日益增长的支付需求，为....
人民网北京3月24日电（记者罗知之）据人民银行官网消息，近日，人民银行金融科技委员会召开了会议，总结2021年工....
人民网北京3月24日电（记者罗知之）据人民银行官网消息，近日，人民银行金融科技委员会召开了会议，总结2021年工....
人民网北京3月24日电（记者赵竹青）火星北半球进入秋季，沙尘天气多发，“祝融号”火星车近况如何？记者今日从....
人民网北京3月24日电（记者王连香）日前，国家发改委发布了《氢能产业发展中长期规划（2021-2035年）》（以下简称....
党中央、国务院高度重视数据要素发展，近年来对加快构建数据基础制度、培育数据要素市场等工作作出系列部署。....
人民网北京3月24日电（记者李栋）入春以来，全国蔬菜价格持续在高位波动。专家表示，受天气、疫情、汽柴油价格....
图为武夷山国家公园。图片来源：国家林草局官网人民网北京3月24日电（记者杨曦）国家林业和草原局、国家发展改....
图为武夷山国家公园。图片来源：国家林草局官网人民网北京3月24日电（记者杨曦）国家林业和草原局、国家发展改....
