中国科学院数学与系统科学研究院

科研进展与学术交流报告会

（第140期）

报告人：董彬 教授（北京大学）

题  目：AI for Mathematics：从数学数字化到自动推理

摘  要：人工智能正在为数学研究的推进带来新的可能性，“AI for Mathematics”（AI4Math）也由此成为一个快速发展的交叉研究方向。本报告将首先探讨人工智能如何赋能数学研究的不同环节，并回顾近年来 AI4Math 领域的若干代表性进展。在此基础上，报告将引出一个核心主题：数学形式化，亦即以形式语言实现数学知识的数字化表达，在提升人工智能数学推理能力方面发挥着关键作用。围绕这一主题，报告将介绍北京大学 AI4Math 团队的整体研究规划，以及团队在形式化模型与工具设计、自动推理系统构建和基准数据集建设等方面取得的阶段性成果。最后，报告将进一步展望 AI4Math 的未来发展方向及其对数学研究范式可能产生的深远影响。

时  间：2026.5.29(星期五), 10:40-11:50

地  点：南楼204会议室