6月6日下午,由理学院数学系主办的中国数学会彩运网数学科普教育基地专家科普汇报、数学大家讲坛第二十二、二十三、二十四讲以线上线下同步的大局顺利开讲。线下会场设在校本部GA101会议室,线上通过腾讯会议同步进行。系列讲坛别离约请了中国科学院院士、北京大学博雅讲座教授张继平院士,中国科学院院士、中国科学院数学与系统科学钻研院周向宇院士,以及中国科学院院士、中国科学院数学与系统科学钻研院旷野院士担任主讲嘉宾。校内表师生以及数学实际工作站高中生线上线下共百余人参与汇报会。
在第二十二讲中,张继平院士作了题为《AI时期的数学钻延追的汇报,汇报系统论述了人为智能技术对数学钻研方式的深刻影响。他指出,自1945年数字推算机引发信息革命以来,机械进建改逐步加强人类的脑力,数学钻研正从“人证定理”走向“人机协同”。张院士回首了数学发展的四个顶峰:欧氏几何、微积分、现代正义化数学以及推算机驱动的数学。他强调,吴文俊先生开创的数学机械化思想是衔接中国古代算法传统与今多人为智能的桥梁。在机械证明方面,张院士介绍了Coq、Lean等大局化辅助证明工具,以及Gonthier等人对奇阶群可解定理的齐全大局化验证。张院士周到呼吁:“我们应周到但不盲目地拥抱人为智能的新时期,同时对峙数学的理性与国际化合作。”

在第二十三讲中,周向宇院士以《先秦数学成就》为题,携带师生穿越数千年,揭示了中国古代数学的源头性、系统性与独个性。他从商高对勾股定理的证明启程,通过《周髀算经》钟装折矩”“环而共盘”“积矩”等关键思想,阐释了商高若何利用几何拼图证明勾股定理,并从中提炼出齐全平方和公式、一元二次方程的几何意思以及算术-几何均匀不等式。周院士指出,商高的“折矩道理”及其推论“容横容直道理”生长了沉差术,刘徽在此基础上发展出割圆术,祖冲之父子则推算出祖率并利用“幂势既同,则积不容异”道理求得球体积。周院士引述E.T. Bell的名言:“只有中国史学家能力写出西方数学的公正描述”,并展示了商高-赵爽的“形体不变量”思想若何贯通于现代几何甚至他自己的多复变钻研。整场汇报以“中国古代数学给了我们自负的底气与骨气”作结,赢得阵阵掌声。

在第二十四讲中,旷野院士以《从平方和问题谈起》为题,从“哪些整数能够暗示为两个平方和」剽一古老问题启程,深刻浅出地解说了数论与算术几何的主题思想。他首先给出费马两平方和定理:正整数n可表为两平方和当且仅当n的每个模4余3的素因子出现偶数次。随后,他将问题提升到二次型与圆锥曲线的高度。通过引入Hilbert符号与Hasse-Minkowski定理,旷野院士展示了若何通过部门的单一查抄判断整体有理点的存在性,并介绍了降落算法的具体机关步骤。在汇报后半部门,旷野院士指出了Hasse道理的局限性,从而引出Mazur关于companion集有限性的猜测以及椭圆曲线二次扭族中的概率性结论。整场汇报从初等数论启程,串联起部门-整体准则、代数数论、算术几何的前沿,展示了数学钟装部门决定整体」剽一深刻主题的柔美与力量。

活动现场空气热烈,师生踊跃提问。三场汇报高屋建瓴、深刻浅出,不仅解除了听多的诸多疑惑,更点燃了各人对人为智能与数学、数学史与数学文化、数论与算术几何交叉钻研的浓密兴致;岢∧谡粕恍,互动氛围融洽而充斥学术张力。本次约请的三位中国科学院院士做科普汇报,充分体现了理学院数学系对人才造就的高度器沉和对数学文化传承的不懈钻营。数学系将持续打造“大家讲坛”品牌,不休索求基础学科拔尖创新人才造就模式,为学生搭建与顶尖学者面对面互换的平台,持续提升人才造就质量。
