5月17日至18日，国家重点研发计划“数学和应用研究”重点专项“计算机数学核心理论、算法与软件”项目启动会暨项目实施方案论证会在北京召开。该项目由中国科学院数学与系统科学研究院牵头，联合华东师范大学、中国科学院软件研究所、清华大学、天津大学、中国科学院重庆绿色智能技术研究院5家单位共同承担。软件所应明生研究员作为项目组专家成员参会。

会上，项目负责人数学院支丽红研究员就项目基本情况及整体实施方案进行汇报。三个课题负责人支丽红、华东师范大学杨争峰教授、软件所周立副研究员分别就课题进展情况做了详细介绍。软件所承担的课题将围绕计算机数学在量子计算领域两个关键方向——重要数学问题量子算法设计与量子和后量子密码协议形式验证开展研究。

听取汇报后，项目专家组又审阅了实施方案资料，高度认可了对项目开展情况表示认可，并为项目的顺利实施进行了专业指导，最后一致同意通过国家重点研发计划“计算机数学核心理论、算法与软件”项目实施方案。

据介绍，该项目聚焦计算机数学核心理论与算法，融合深度学习与大模型、量子计算颠覆性新技术，力争取得计算机数学核心理论与算法突破，实质性提升深度推理、量子密码验证的能力。