9月12日，郑州大学“嵩阳大讲堂”第五十五讲——中国科学院院士、中国科学院数学与系统科学研究院研究员袁亚湘报告会在主校区举行。校长李蓬会见袁亚湘，并为其颁发“嵩阳大讲堂”主讲嘉宾证书。校党委常委、副校长王海杰主持报告会。学校相关部门和学院师生代表260余人参加报告会。

袁亚湘以《人工智能的数学基础》为题，从人工智能的基本概念出发，系统介绍了基于符号、神经元和行为的建模思路，结合逻辑推理、概率统计、逼近论等领域讲解了人工智能背后的数学原理，并以神经网络训练中损失函数最小化问题为例，讲述随机梯度、随机牛顿及非凸优化等方法，说明优化理论与算法对模型训练的重要意义。他指出，数学在人工智能模型构建、理论分析和算法设计中发挥着基础支撑作用；围绕人工智能辅助提出数学猜想、开展定理证明、求解科学计算问题等研究方向，人工智能为数学研究提供了新工具、新思路。他表示，数学支撑人工智能，人工智能促进数学发展，人工智能的数学基础将成为未来数学科学的重要研究方向，人工智能背后仍有诸多数学机理问题有待深入探究。

互动交流环节由中国科学院院士戴彧虹主持。围绕“能否将有限元方法理论的严谨高效与物理信息神经网络（PINN）的灵活性相结合，构建类似有限元方法的收敛性理论框架”“AI辅助数学研究存在哪些本质局限”等问题，袁亚湘与在场师生深入交流。他表示，人工智能及其应用的基础理论尚不成熟，AI可高效检索文献、演算公式，辅助推演验证，但仅能重组已有知识，无法独立实现突破性数学原创，根本性创新仍需依靠人类数学家。

报告会最后，袁亚湘以“弘扬科学精神 培养创新人才”寄语在场师生，勉励大家锚定科研初心，勇于探索人工智能与数学交叉领域前沿未知问题。

本次报告会是郑州大学数学学科创建七十周年系列活动之一。报告会将数学基础理论与人工智能前沿研究紧密结合，不仅为师生理解数学与人工智能相互促进关系、探索交叉研究提供了重要指引，也为学校进一步优化交叉学科培养体系、拓宽学科融合路径、培育复合型创新人才提供了有益思路。（陈阳/图）

李蓬为袁亚湘颁发“嵩阳大讲堂”主讲嘉宾证书

戴彧虹主持互动交流环节

袁亚湘作报告

王海杰主持报告会