金宇棋牌室 (中国)·官方网站

新聞網訊 12月30日下午，北京大學張繼平院士應邀為數學與統計學院師生作題為“數字的力量”的專題報告。報告由數學與統計學院院長劉奎主持，學院師生200余人聆聽了報告。

張繼平院士以《新聞聯播》片頭動畫背后的數字插值技術為導入，介紹了人類認識、應用數字以及數字概念的產生推動了人類心智發展的歷史，并著重介紹了數字計算機促進數學研究方式的變化，例如數學軟件Magma和GAP在代數學計算中的強大作用，以及人工智能的發展促進了數學定理的形式化證明，例如輔助證明工具Lean、Coq等。

報告結束后，學院師生就數學定理輔助證明工具的發展以及國內相關研究現狀與張繼平院士進行了深入的交流。

張繼平，中國科學院院士、北京大學博雅講座教授、中俄數學中心主任。曾任北京大學數學科學學院院長，現為現為中國大百科全書(數學卷)副主編、MDPI(中國)物理&數學科學委員會委員。研究領域是代數學，在有限群表示論研究中取得了杰出成就。