2026年10月12日上午，应湖南师范大学数学研究中心与数学与统计学院邀请，北京大学博雅特聘教授、北京国际数学研究中心副主任董彬教授在格物楼309报告厅作题为“AI for athematics：数学智能体的设计与实践”的专题学术报告。报告会由数统院院长李利平主持，学院近200名师生到场聆听并参与交流。

首先，李利平院长代表数统院全体师生对董彬教授的到来表示热烈欢迎。他指出，当前人工智能的飞速发展正在深刻重塑传统科学研究的格局，许多数学科研工作者既感受到了前所未有的AI技术冲击与迷茫，也深刻体会到了将AI融入科研探索中的紧迫感与必要性。因此，本次报告聚焦数学智能体：探讨AI驱动下的数学研究新范式，对于帮助师生理清思路、把握前沿方向具有重要意义。

随后，董彬教授深入剖析了人工智能在数学研究领域的演进历程与最新突破。他系统阐述了课题组在数学信息检索、检索增强的自动形式化与自动推理等关键方向构建的数学智能体体系。通过介绍专门面向数学形式化与非形式化陈述的语义搜索引擎（如LeanSearch与Matlas），以及具有自主证明和形式化验证能力的推理智能体系统（如Rethlas、Danus和Pharos），董教授直观展示了数学智能体在攻克开放性数学猜想、构造新证明及实现大规模机器验证（如庞加莱猜想证明形式化）中的巨大潜力。

董教授指出，AI对数学研究的影响已不可忽视。他鼓励师生围绕AI打造核心竞争力，学会编排与引导AI，重过程而非仅看结果，在与AI的“双向成长”中拓宽学术视野与直觉，迎接数学研究的全新时代。

报告结束后，十余位数统院教师与董彬教授举行一个深度专题座谈，共话AI时代数学教育与科研的应对之道。与会教师积极踊跃发言，围绕人工智能对传统数学研究模式的冲击、AI在高等数学教学中的应用边界以及青年学者如何应对技术变革等热点问题，充分表达了自己的看法与担忧。董彬教授结合自身的科研经历与行业前沿观察，为老师们详细梳理了当前大模型与自动推理技术的现状，并分享了建设性看法。他表示，AI的崛起绝非要取代数学家，而是为数学家提供了极具赋能作用的“科研助手”；数学工作者应积极拥抱技术演进，将注意力更多集中于创造性思考与理论突破上。

本次报告与交流会拓宽了学院师生的学术视野，有效地缓解了大家在AI浪潮下的焦虑与困惑，为学院在AI与数学交叉学科建设、教学科研改革等方面提供了宝贵的参考与启发。

报告专家简介：董彬，北京大学博雅特聘教授，现任职于北京大学北京国际数学研究中心，兼任北京大学国际机器学习研究中心副主任及北京中关村学院常务副院长。他的主要研究领域涵盖机器习、科学计算与计算成像，是北京大学“AI for Math”团队核心发起人之一，致力于推动人工智能与数学的交叉融合。

董彬教授的主要研究成果包括揭示偏微分方程与小波之间的深层联系，启发了针对复杂计算成像问题的新型算法。在AIforMathematics领域，围绕计算与推理开展系统性工作：计算方面，建立了微分方程与深度网络之间的桥梁，提出了PDE-Net等新架构；推理方面，构建了数学语义检索引擎，研发了多款推理智能体，并解决了基础与计算数学中的多个开放问题。

董彬教授曾获2014年求是杰出青年学者奖、2023年王选杰出青年学者奖，并于2023年入选新基石研究员项目。此外，他曾受邀在2022年世界数学家大会（ICM）作45分钟报告，2026年受邀在SIAM成像科学会议（IS26）与SIAM数学数据科学会议（MDS26）作联合大会报告，并已受邀将于2027年国际工业与应用数学大会（ICIAM）作大会邀请报告。

一审：张墨力

二审：龚艳红

三审：颜中玉