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