新闻网讯 12月30日下午，北京大学张继平院士应邀为数学与统计学院师生作题为“数字的力量”的专题报告。报告由数学与统计学院院长刘奎主持，学院师生200余人聆听了报告。

张继平院士以《新闻联播》片头动画背后的数字插值技术为导入，介绍了人类认识、应用数字以及数字概念的产生推动了人类心智发展的历史，并着重介绍了数字计算机促进数学研究方式的变化，例如数学软件Magma和GAP在代数学计算中的强大作用，以及人工智能的发展促进了数学定理的形式化证明，例如辅助证明工具Lean、Coq等。

报告结束后，学院师生就数学定理辅助证明工具的发展以及国内相关研究现状与张继平院士进行了深入的交流。

张继平，中国科学院院士、北京大学博雅讲座教授、中俄数学中心主任。曾任北京大学数学科学学院院长，现为现为中国大百科全书(数学卷)副主编、MDPI(中国)物理&数学科学委员会委员。研究领域是代数学，在有限群表示论研究中取得了杰出成就。