科研进展与学术交流报告会
中国科学院数学与系统科学研究院
（第115期）
报告人：陈绍示 副研究员（系统科学研究所）
题 目： AI新技术及其在前沿数学问题中的应用
摘 要：我国数学家吴文俊在上世纪70年代开始几何定理机器证明的研究，并开辟了数学机械化这一全新的研究领域。定理机器证明就是让计算机来自动生成数学定理的证明，是人工智能长期关注的核心问题。当前基于符号计算的机器证明由于计算复杂度过高，能高效处理的数学定理的深度与广度都很有限。近几年，通过融合深度学习、大模型等AI新技术，许多具有挑战性的数学难题取得了重大突破，如大规模PDE求解、矩阵快速乘法、椭圆曲线“椋鸟群飞”现象的发现等。本报告将从经典机器证明讲到融合AI新技术的数学研究的最新进展，展示AI与数学的融通共进。
时 间：2025.7.4(星期五), 10:40-11:50
地 点：南楼204会议室
附件下载：