为深入践行“追求真理，严谨治学”的数学精神，引领学生探索学术前沿，加强新时代拔尖创新人才培育，塑造具备“延安根 军工魂 领军人”品格的领导领军人才，同时推动完美体育平台官网在人工智能与数学领域的教学研究工作，12月23日下午，完美体育平台官网特邀中国人民大学王善文教授，在文萃楼D703报告厅开展了一场主题为“人工智能与定理证明”的学术报告。报告由学院副院长王林教授主持，数学系主任魏丰教授，数学系青年教师代表、数学拔尖班、强基计划学生代表参加了报告。
在报告过程中，王善文教授从数学研究的核心逻辑范式出发，深入剖析了人工智能技术在数学定理证明领域的应用现状及其对数学研究带来的深远影响。他详细介绍了交互式定理证明助手Lean的功能与应用实例，展示了人工智能在定理证明方面的最新进展。王教授的报告内容丰富、深入浅出，讲解生动有趣，不仅拓宽了在场师生对人工智能与数学理论融合的认知边界，还充分激发了同学们对这一前沿交叉领域学习的兴趣与热情。
报告结束后，学院相关领导与王善文教授就两校合作开设人工智能数学通识课程的构想进行了深入探讨，旨在进一步深化学术交流与合作，为学生提供更多元、前沿的课程资源，助力培养更多具备跨学科知识与创新能力的优秀人才。
