5月17日至18日，國家重點研發計劃“數學和應用研究”重點專項“計算機數學核心理論、算法與軟件”項目啟動會暨項目實施方案論證會在北京召開。該項目由中國科學院數學與系統科學研究院牽頭，聯合華東師范大學、中國科學院軟件研究所、清華大學、天津大學、中國科學院重慶綠色智能技術研究院5家單位共同承擔。軟件所應明生研究員作為項目組專家成員參會。

會上，項目負責人數學院支麗紅研究員就項目基本情況及整體實施方案進行匯報。三個課題負責人支麗紅、華東師范大學楊爭峰教授、軟件所周立副研究員分別就課題進展情況做了詳細介紹。軟件所承擔的課題將圍繞計算機數學在量子計算領域兩個關鍵方向——重要數學問題量子算法設計與量子和后量子密碼協議形式驗證開展研究。

聽取匯報后，項目專家組又審閱了實施方案資料，高度認可了對項目開展情況表示認可，并為項目的順利實施進行了專業指導，最后一致同意通過國家重點研發計劃“計算機數學核心理論、算法與軟件”項目實施方案。

據介紹，該項目聚焦計算機數學核心理論與算法，融合深度學習與大模型、量子計算顛覆性新技術，力爭取得計算機數學核心理論與算法突破，實質性提升深度推理、量子密碼驗證的能力。