讲座报告主题：数学与人工智能
专家姓名：高小山
日期：2026-04-17 时间：16:00
地点：会议中心第一报告厅
主办单位：数学科学学院

主讲简介：中国科学院数学与系统科学研究院研究员，主要从事数学机械化与人工智能数学理论研究，在定理可读证明、几何约束求解、微分系统机器证明、深度学习数学理论等方面做出重要成果。曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人，获国家基金委杰青。研究专长：人工智能数学理论，数学机械化，符号计算，自动推理，智能CAD，数控算法。

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

欢迎师生参加！