4月17日上午，中国科学院院士、北京大学博雅讲席教授、北京大学数学科学学院院长刘若川做客经世致用讲坛，于超算中心报告厅作“当数学遇见AI：从前沿进展到北大探索”主题报告。本场报告会为“校庆系列学术报告”之一。

刘若川深入解析了数学与人工智能研究的交融历程及其变革影响。他以时间脉络为线索，从早期计算工具与定理验证系统的应用，到神经网络阶段的探索实践，再到当前大模型驱动下迎来爆发式发展，系统梳理了数学与人工智能的互动演进脉络，向在场师生全面展现了这一交叉学科领域的发展进程。结合“深度学习辅助数学猜想与探索”“推进形式化证明发展”等自身及团队正在开展的前沿研究方向，刘若川进一步分享了对未来数学家与人工智能协同工作模式的思考与展望。

互动环节中，现场师生围绕人工智能对数学研究范式的重塑、未来数学教育中人工智能的定位与作用等热点议题展开交流。刘若川逐一细致回应了大家在技术实现、科研方向与发展路径等方面的提问，并结合自身研究经验寄语青年学子，要主动培养跨学科视野与融合创新能力，积极探寻数学与人工智能的交汇支点，为前沿科学研究注入新的活力。

现场图片

来源：研工部（处）咕咕番

通讯员：蔡煜 李潇 冯雅

责任编辑：刘嘉欢