报告主题

AI for Mathematics:

From Digitization to Intelligentization

主讲嘉宾

董彬 教授

Bin Dong is a Boya Distinguished Professor at the Beijing International Center for Mathematical Research, Peking University. He is also the Deputy Director of the Center for Machine Learning Research at Peking University, and the executive vice president of Zhongguancun Academy. Professor Dong completed his Bachelor of Science at Peking University in 2003, followed by a Master of Science from the National University of Singapore in 2005, and a Ph.D. from the University of California, Los Angeles, in 2009. His research interests lie in the areas of artificial intelligence, scientific computing and computational imaging. Professor Dong has been recognized for his contributions to these fields, including receiving the Qiu Shi Outstanding Young Scholar Award in 2014. He had the honor of delivering a 45-minute sectional lecture at the International Congress of Mathematicians (ICM) in 2022, and will deliver an invited lecture at the 11th International Congress on Industrial and Applied Mathematics (ICIAM) in 2027. He was selected for the New Cornerstone Investigator Program and received the Wang Xuan Outstanding Young Scholar Award in 2023.

报告摘要

Mathematical research has long faced bottlenecks that limit efficiency, and the introduction of artificial intelligence offers new opportunities to overcome these challenges. Against this backdrop, “AI for Mathematics” (AI4M) has emerged as a rapidly developing interdisciplinary field. This talk will begin by outlining the challenges and needs inherent to mathematical research, explaining why deep integration with AI is necessary. It will then review several representative advances in AI4M from recent years and compare the strengths and limitations of different technical approaches. Building on this, the talk will highlight the central role of formalization—the “digitalization” of mathematics—in substantially advancing AI’s reasoning capabilities. Finally, the talk will present the overall research plan of the Peking University AI4M team, share its interim achievements in formal model and tool design, automated reasoning systems, and benchmark construction, and conclude with an outlook on the future development of AI4M.

主持人

王本友 教授

报告时间

2025年11月16日（星期日）

上午10:00

报告地点

深圳河套学院B411阶梯教室

（深圳市福田区福保街道红棉路6号，

地图导航“深圳河套学院-南门”）

线上链接

扫码加入会议

腾讯会议号：311-475-502