报告题目：数学与人工智能
报告时间：2026年6月16日14:25-15:10
报告地点：开发区校区信息楼302会议室
报告人：高小山
报告内容：
我们将介绍数学与人工智能交叉融合发展的历史与若干最新成果。首先，介绍第一代符号主义人工智能起源与发展中出现的主要数学成就，包括自动推理、计算理论、形式化数学、数学机械化。其次，介绍深度学习的数学理论，包括深度学习的表达能力、泛化能力与安全能力边界刻画。最后，探讨如何使用大模型智能体证明数学定理与猜想。
报告人简介：
高小山，中国科学院数学与系统科学研究院研究员，中国科学院国家数学与交叉科学中心执行主任。主要从事数学机械化与人工智能数:学理论研究，在定理可读证明、几何约束求解、微分系统机器证明、深度学习数学理论等方面做出重要成果。曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖。曾担任3个国家973项目的首席科学家、国家基金委创新群体学术带头人，国家基金委杰青。
