报告人简介：

董彬，北京大学博雅特聘教授，现任职于北京大学北京国际数学研究中心，兼任北京大学国际机器学习研究中心副主任及北京中关村学院常务副院长。主要研究领域涵盖机器学习、科学计算与计算成像。董彬教授的主要研究成果包括揭示偏微分方程与小波之间的深层联系，启发了针对复杂计算成像问题的新型算法。在 AI for Mathematics 领域，围绕计算与推理开展系统性工作。董彬教授曾获2014年求是杰出青年学者奖、2023年王选杰出青年学者奖，并于2023年入选新基石研究员项目。此外，他曾受邀在2022年世界数学家大会（ICM）作45分钟报告，2026年受邀在 SIAM 成像科学会议（IS26）与 SIAM 数学数据科学会议（MDS26）作联合大会报告，并已受邀将于2027年国际工业与应用数学大会（ICIAM）作大会邀请报告。

报告简介：

人工智能正在推动数学研究范式的演进。本报告将介绍北京大学课题组围绕数学信息检索、检索增强的自动形式化与自动推理所构建的一系列数学智能体，重点阐述其设计理念、系统架构与实践方法，并通过若干开放数学问题的典型案例，展示这些智能体在知识发现、问题形式化和推理探索中的作用。最后，报告将对人工智能驱动数学研究的未来发展方向作简要展望。