6月6日下午，由理学院数学系主办的中国数学会上海大学数学科普教育基地专家科普报告、数学大师讲坛第二十二、二十三、二十四讲以线上线下同步的形式顺利开讲。线下会场设在校本部GA101会议室，线上通过腾讯会议同步进行。系列讲坛分别邀请了中国科学院院士、北京大学博雅讲座教授张继平院士，中国科学院院士、中国科学院数学与系统科学研究院周向宇院士，以及中国科学院院士、中国科学院数学与系统科学研究院田野院士担任主讲嘉宾。三位数学大师先后为在场师生作了题为《AI时代的数学研究》、《先秦数学成就》与《从平方和问题谈起》的学术报告。校内外师生以及数学实践工作站高中生线上线下共百余人参加报告会。
在6月6日下午的第二十二讲中，张继平院士系统阐述了人工智能技术对数学研究方式的深刻影响。他指出，自1945年数字计算机引发信息革命以来，机器学习正逐步增强人类的脑力，数学研究正从“人证定理”走向“人机协同”。张院士回顾了数学发展的四个高峰：欧氏几何、微积分、现代公理化数学以及计算机驱动的数学。他强调，吴文俊先生开创的数学机械化思想是连接中国古代算法传统与当代人工智能的桥梁。在机器证明方面，张院士介绍了Coq、Lean等形式化辅助证明工具，以及Gonthier等人对奇阶群可解定理的完全形式化验证。张院士热情呼吁：“我们应热情但不盲目地拥抱人工智能的新时代，同时坚持数学的理性与国际化合作。”
在第二十三讲中，周向宇院士以“先秦数学成就”为题，带领师生穿越数千年，揭示了中国古代数学的源头性、系统性与独特性。他从商高对勾股定理的证明出发，通过《周髀算经》中“折矩”“环而共盘”“积矩”等关键思想，阐释了商高如何利用几何拼图证明勾股定理，并从中提炼出完全平方和公式、一元二次方程的几何意义以及算术-几何平均不等式。周院士指出，商高的“折矩原理”及其推论“容横容直原理”孕育了重差术，刘徽在此基础上发展出割圆术，祖冲之父子则计算出祖率并利用“幂势既同，则积不容异”原理求得球体积。周院士引述E.T. Bell的名言：“只有中国史学家才能写出西方数学的公正描述”，并展示了商高-赵爽的“形体不变量”思想如何贯穿于现代几何乃至他本人的多复变研究。整场报告以“中国古代数学给了我们自信的底气与骨气”作结，赢得阵阵掌声。
在第二十四讲中，田野院士从“哪些整数可以表示为两个平方和”这一古老问题出发，深入浅出地讲解了数论与算术几何的核心思想。他首先给出费马两平方和定理：正整数n可表为两平方和当且仅当n的每个模4余3的素因子出现偶数次。随后，他将问题提升到二次型与圆锥曲线的高度。通过引入Hilbert符号与Hasse-Minkowski定理，田野院士展示了如何通过局部的简单检查判断整体有理点的存在性，并介绍了下降算法的具体构造步骤。在报告后半部分，田野院士指出了Hasse原理的局限性，从而引出Mazur关于companion集有限性的猜想以及椭圆曲线二次扭族中的概率性结论。整场报告从初等数论出发，串联起局部-整体原则、代数数论、算术几何的前沿，展现了数学中“局部决定整体”这一深刻主题的优美与力量。
三场报告现场气氛热烈，师生踊跃提问。在第二十二讲中，听众就形式化证明对日常研究的实际助益、AlphaGeometry等AI工具是否可能独立发现新定理等问题与张继平院士进行了深入交流；张院士认为，AI目前尚不具备真正的数学直觉，但人机互动将极大加速猜想产生与验证的闭环。在第二十三讲中，师生们围绕“商高几何”与欧几里得几何的异同、墨子半分法与实数的构造、刘徽割圆术中的极限思想对当代分析的启发等话题展开讨论，周向宇院士引经据典、逐层剖析，并分享了自己在多复变研究中受中国古代数学不变量思想启发的亲身经历。在第二十四讲中，田野院士耐心解答了关于p-adic数直观理解、下降算法中系数缩小原理、Selmer曲线反例的构造动机等问题，并鼓励同学们从简单的平方和问题出发，逐步进入现代数论的广阔天地。三场报告逻辑清晰、深入浅出，不仅消除了听众的诸多疑惑，更点燃了大家对人工智能与数学、数学史与数学文化、数论与算术几何交叉研究的浓厚兴趣。会场内掌声不断，互动氛围融洽而充满学术张力。
本次活动邀请三位中国科学院院士做科普报告，充分体现了理学院数学系对人才培养的高度重视和对数学文化传承的不懈追求。数学系将持续打造“大师讲坛”品牌，不断探索基础学科拔尖创新人才培养模式，为学生搭建与顶尖学者面对面交流的平台，持续提升人才培养质量。
报告人简介：
张继平，北京大学博雅讲座教授、中国科学院院士、中俄数学中心主任。曾获国家杰出青年基金、教育部长江特聘教授、全国五一劳动奖章、全国先进工作者、全国优秀科技工作者、国家自然科学奖、陈省身数学奖等。现为MDPI(中国)物理&数学科学委员委员、中国大百科全书（数学卷）副主编、Symmetry 杂志荣誉主编、Asia-European J. Math副主编和Journal of Algebra and its Applications 等杂志编委 。曾任Algebra Colloq 主编和“数学学报”副主编，曾任中国数学会副理事长，国际数学家联盟发展与交流委员会委员，教育部科技委数理学部常务副主任，中国青年科技协会副会长。 他的研究领域是代数学，在有限群表示论研究中取得杰出成就。他曾任北京大学数学科学学院院长，为数学学科发展做出突出贡献， 特别是他主持制定和领导实施的创新人才计划培养出包括数学黄金一代在内的世界一流人才。
周向宇，中国科学院院士，中国科学院数学与系统科学研究院研究员、博士生导师，曾任中科院数学研究所所长、中国数学会副理事长等职务。于1988年、1990年先后获中国科学院数学研究所硕士、博士学位。1998年在俄罗斯科学院Steklov数学所获俄国国家科学博士学位。2013年当选为中国科学院院士，2018年当选为发展中国家科学院院士。曾获国家杰出青年科学基金，求是杰出青年学者奖，中国科学院自然科学奖一等奖，中国数学会陈省身数学奖，国家自然科学奖二等奖，陈嘉庚科学奖，并于2002年在国际数学家大会上作45分钟邀请报告。周向宇院士长期从事多复变函数论与复几何的研究，取得了一系列原创性的研究成果，包括扩充未来光管猜想、L2解析延拓最优估计和强开性猜想等。这些研究工作发表在Ann. of Math.和Invent. Math.等国际著名数学期刊上。
田野，中国科学院院士，中国科学院数学与系统科学研究院研究员。2003年美国哥伦比亚大学获博士学位。2006年入选中国科学院百人计划，2013年获国际数学联盟与国际理论物理中心联合颁发的拉马努金奖以及国际华人数学家大会颁发的晨兴数学金奖，2014年获得国家杰出青年基金，2018年入选教育部长江学者特聘教授，2021年获得陈省身数学奖和国家自然科学二等奖，2022年受邀在国际数学家大会做45分钟报告。主要研究领域是数论和算术代数几何，致力于研究同余数问题和BSD猜想等重要问题，成果发表于Ann. Math.、Invent. Math.、Camb. J. Math.、PNAS等国际顶尖数学或综合杂志，并得到国际同行的高度评价。美国科学院院刊专文评价他关于同余数的工作“是这个古老问题历史上一个重要的里程碑”。