AI for Mathematics：数学智能体的设计与实践
报告专家：董彬 博雅特聘教授（北京大学）
报告时间：11月9日（周一）上午10:00-11:00
报告地点：国家天元数学西南中心516
报告摘要：
人工智能正在推动数学研究范式的演进。本报告将介绍北京大学课题组围绕数学信息检索、检索增强的自动形式化与自动推理所构建的一系列数学智能体，重点阐述其设计理念、系统架构与实践方法，并通过若干开放数学问题的典型案例，展示这些智能体在知识发现、问题形式化和推理探索中的作用。最后，报告将对人工智能驱动数学研究的未来发展方向作简要展望。
专家简介：
董彬，北京大学博雅特聘教授，现任职于北京大学北京国际数学研究中心，兼任北京大学国际机器学习研究中心副主任及北京中关村学院常务副院长。其主要研究领域涵盖机器学习、科学计算与计算成像。主要研究成果包括揭示了偏微分方程与小波之间的深层联系，启发了针对复杂计算成像问题的新型算法。在 AI for Mathematics 领域，围绕计算与推理展开系统性工作：计算方面，建立了微分方程与深度网络之间的桥梁，提出了 PDE-Net 等新架构；推理方面，构建了数学语义检索引擎、研发了多款推理智能体，并解决了基础与计算数学中的多个开放问题。董彬的学术工作获得了学界的广泛认可，曾获2014年求是杰出青年学者奖与2023年王选杰出青年学者奖，并于2023年入选新基石研究员项目。此外，他曾受邀在2022年国际数学家大会（ICM）作45分钟报告，2026年受邀在SIAM成像科学会议（IS26）与SIAM数学数据科学会议（MDS26）作联合大会报告，并已受邀将于2027年国际工业与应用数学大会（ICIAM）作大会邀请报告。
邀请人：张旭
