2020年度国家科学技术奖提名公布：第四范式、中科寒武纪创始人等入围