4月29日下午，国家自然科学二等奖获得者、国家自然科学基金委创新群体学术带头人、973项目首席科学家、国家高层次人才高小山研究员应邀来我校交流访问，做客第三届“π”数学文化节特别活动——“大师有约”报告会，在一号楼20楼报告厅带来题为“数学与人工智能”的学术报告。来自数学学院、计算机科学与技术学院、人工智能学院等60余名师生参加报告会，报告会由数学学院副院长徐江主持。
徐江对高小山此次到访表示热烈欢迎，介绍了其研究领域和杰出成就。他表示，数字化浪潮席卷全球的今天，人工智能正在掀起新一轮技术革命。高老师长期以来在相关领域做出了卓有建树的积极探索，他的报告一定能为大家提供宝贵的见解和启示，希望老师和同学们能把握机会，深入交流。随后，他代表学院向高老师赠送礼物，表达崇高的敬意和衷心的感谢。
报告中，高小山以深入浅出的方式介绍了第一代符号主义人工智能起源与发展中出现的主要数学成就，包括自动推理、计算理论、形式化数学、数学机械化。其次，他介绍了深度学习的数学理论，包括深度神经网络的表达能力、训练优化、泛化性与安全性。最后探讨了如何通过人工智能与自动推理融合发展深度推理方法，增强计算机的数学推理能力。报告内容既有理论高度，又贴近实际应用，引发了现场师生的热烈讨论。
互动环节，气氛异常热烈，精彩的报告内容引得现场师生争相向高老师提问，热切交流。高老师的报告不仅拓宽了师生的学术视野，更激发了大家对数学与人工智能融合发展的深入思考。
人物介绍：高小山，中国科学院数学与系统科学研究院研究员，主要从事数学机械化与人工智能数学理论研究，在定理可读证明、几何约束求解、微分系统机器证明、对抗深度学习理论等方面做出重要成果。曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人，获国家高层次人才。