2024年5月17-18日，由中国科学院数学与系统科学研究院（以下简称“数学院”）牵头承担，联合华东师范大学、中国科学院软件研究所、清华大学、天津大学、中国科学院重庆绿色智能技术研究院5家单位共同参与的“十四五”国家重点研发计划“数学和应用研究”重点专项“计算机数学核心理论、算法与软件”项目启动会暨项目实施方案论证会在北京召开。

由首届国家最高科学技术奖获得者—我院吴文俊先生开创的数学机械化方法是计算机数学的核心理论之一，被应用于众多高技术领域的核心问题。在人工智能和量子计算迅猛发展的今天，计算机数学理论和算法发展面临着新的机遇和挑战。本项目聚焦计算机数学核心理论与算法，融合深度学习与大模型、量子计算颠覆性新技术，力争取得计算机数学核心理论与算法突破，实质性提升深度推理、量子密码验证的能力。

启动会开幕式上，戴彧虹副院长代表数学院对与会院士、领导和专家的莅临指导表示感谢，希望项目团队能够齐心协力，加强交流，攻坚关键技术，将数学机械化与人工智能紧密结合，解决国家重大战略需求。 国家自然科学基金委高技术研究发展中心项目主管刘龑龙介绍了“数学和应用研究”重点专项的定位，希望项目团队依托国家需求，在数学理论方法上取得突破性进展。同时强调要落实好科技管理改革的政策措施，加强团队合作，促进项目顺利实施。

项目负责人支丽红研究员就项目基本情况及整体实施方案进行汇报，三个课题负责人支丽红研究员、杨争峰教授、周立副研究员分别就课题进展情况做了详细介绍。汇报结束后，项目专家组审阅了实施方案资料，高度认可了项目开展情况，希望项目组能加强课题合作，充分融合深度学习和量子计算，聚焦重大科学问题，为项目的顺利实施进行了专业指导，并一致同意通过国家重点研发计划“计算机数学核心理论、算法与软件”项目实施方案。

项目组专家成员西安交通大学徐宗本院士、数学院高小山研究员、中国科学院信息工程研究所路献辉研究员、北京大学董彬教授、清华大学冯元教授、中国科学院计算技术研究所孙晓明研究员、北京大学夏壁灿教授、中国科学院软件研究所应明生研究员等莅临指导。数学院副院长戴彧虹、国家自然科学基金委高技术研究发展中心项目主管刘龑龙、数学院科研处副处长苏斐、财务处副处长王碧琳等嘉宾及项目和课题承担单位的负责人、骨干人员50余人参加会议。