6月12日上午，中国科学院院士、北京大学数学科学学院教授、中俄数学中心主任张继平莅临我院，就我院中俄院士工作站建设相关工作开展指导，并做客曹锡华数学论坛为院士工作站作首场报告《机器与表示》。数学科学学院院长吕长虹及部分班子成员、中俄院士工作站站长倪明康等出席会议，会议由副院长罗栗主持。

吕长虹院长致欢迎辞

倪明康教授介绍工作站前期建设情况

张继平院士对我院中俄院士工作站的已有工作表示充分肯定。他通过对中俄数学中心建设的介绍和对当前国际数学交流高屋建瓴的见解，为院士工作站提供了高站位的发展思路。

张继平院士指导讲话

与会教师交流讨论

张继平院士在《机器与表示》报告中谈到，计算机辅助研究在最近几十年的数学发展中发挥着愈来愈大的作用，COQ 和 LEAN（proof assistants）等证明助手是数学形式化的结果， 帮助数学家完成了不少重要的证明验证工作。而机器学习模型是一个巨大进步，不仅帮助数学家做计算和证明验证，甚至启发了代数学家的数学直觉，在表示论研究中取得重要突破。数学形式化使机器可以“学习” 和“懂” 更多的数学，将促进数学研究方式和发展方式的巨大变革。