报告题目：
AI新技术及其在前沿数学问题中的应用
报告时间：
10:40-11:50
报告地点：
中国科学院数学与系统科学研究院 南楼N204
报告人：
陈绍示研究员，系统科学研究所
报告人简介：
陈绍示, 中国科学院数学与系统科学研究院研究员, 博士生导师。主要研究符号计算，机器证明与组合数学。近几年致力于发展多变元幂级数的算术理论。在符号计算旗舰会议ISSAC与数学期刊Algebra and Number Theory, Journal of Combinatorial Theory Series A，Journal of Symbolic Computation等发表论文30余篇。目前担任Journal of Symbolic Computation, Annals of Combinatorics, Journal of Difference Equations and Applications, Journal of Systems Science and Complexity, 和《系统科学与数学》等杂志编委，还担任 ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长。曾获得第二届 “吴文俊计算机数学青年学者奖”，第46届国际符号与代数计算年会(ISSAC)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。
报告简介：
我国数学家吴文俊在上世纪70年代开始几何定理机器证明的研究，并开辟了数学机械化这一全新的研究领域。定理机器证明就是让计算机来自动生成数学定理的证明，是人工智能长期关注的核心问题。当前基于符号计算的机器证明由于计算复杂度过高，能高效处理的数学定理的深度与广度都很有限。近几年，通过融合深度学习、大模型等AI新技术，许多具有挑战性的数学难题取得了重大突破，如大规模PDE求解、矩阵快速乘法、椭圆曲线“椋鸟群飞”现象的发现等。本报告将从经典机器证明讲到融合AI新技术的数学研究的最新进展，展示AI与数学的融通共进。