Speaker: 董彬教授，北京大学

Inviter: 中国科学院数学院学术报告会组委

Title: AI for Mathematics：从数学数字化到自动推理

Language: Chinese

Time & Venue: 2026.05.29 10:40-11:50 南楼N204（数学院交流报告会）

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