Speaker: 陈绍示研究员，系统科学研究所

Inviter: 中国科学院数学院学术报告会组委

Title: AI新技术及其在前沿数学问题中的应用

Language: Chinese

Time & Venue: 2025.07.04 10:40-11:50 数学院南楼N204（数学院交流报告会）

Abstract: 我国数学家吴文俊在上世纪70年代开始几何定理机器证明的研究，并开辟了数学机械化这一全新的研究领域。定理机器证明就是让计算机来自动生成数学定理的证明，是人工智能长期关注的核心问题。当前基于符号计算的机器证明由于计算复杂度过高，能高效处理的数学定理的深度与广度都很有限。近几年，通过融合深度学习、大模型等AI新技术，许多具有挑战性的数学难题取得了重大突破，如大规模PDE求解、矩阵快速乘法、椭圆曲线“椋鸟群飞”现象的发现等。本报告将从经典机器证明讲到融合AI新技术的数学研究的最新进展，展示AI与数学的融通共进。