报告人：中国科学院数学与系统科学研究院高小山研究员

时间：2025年5月12日16:00-17:00

地点：立志楼B5-2

主办单位：数学与统计学院

摘要：将介绍数学与人工智能交叉融合发展的历史与若干最新成果。首先，介绍第一代符号主义人工智能起源与发展中出现的主要数学成就，包括自动推理、计算理论、形式化数学、数学机械化。其次介绍深度学习的数学理论，包括深度神经网络的表达能力、训练优化、泛化性与安全性。最后，探讨通过人工智能与自动推理融合发展深度推理方法,增强计算机的数学推理能力。

高小山：中国科学院数学与系统科学研究院研究员，国家杰出青年基金获得者，973项目首席科学家、国家基金委创新群体学术带头人。从事数学机械化与人工智能数学理论研究，在定理可读证明、几何约束求解、微分系统机器证明、对抗深度学习理论等方面做出重要成果，曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖。