报告摘要：This presentation begins with a brief historical overview, emphasizing instances where AI and mathematics have mutually benefited one another, highlighting their important symbiotic relationship. It then examines significant existing works on AI for mathematics, showcasing their achievements and limitations. Next, the presentation shares preliminary findings from the ongoing AI4M research project at Peking University, including the creation of high-quality mathematical datasets through formalization (digitalization), along with future plans for developing intelligent applications using these datasets. The presentation concludes with a forward-looking perspective on the opportunities and challenges within the interdisciplinary field of AI and mathematics.

主讲人简介：Professor Bin Dong is a Boya distinguished professor at the Beijing International Center for Mathematical Research and deputy director of the Center for Machine Learning Research. He earned his B.S. from Peking University (2003), his M.S. from the National University of Singapore (2005), and his Ph.D. from UCLA (2009). Following his Ph.D., he completed postdoctoral work at UC San Diego and worked as an assistant professor at the University of Arizona before joining Peking University in 2014. Initially focused on biomedical imaging, Professor Dong developed innovative models using partial differential equations and wavelet theory to address challenges in image reconstruction and segmentation. His early work laid the groundwork for discovering fundamental connections between PDEs and wavelets, advancing image processing techniques in medical applications. More recently, his research has expanded to explore the synergy between artificial intelligence and mathematics, leading to novel deep learning architectures that integrate classical numerical methods with modern data-driven approaches. His contributions have been recognized with awards such as the Qiu Shi Outstanding Young Scholar Award (2014), Wang Xuan Outstanding Young Scholar Award (2023), New Cornerstone Investigator (2023), and an invitation to deliver a 45-minute sectional lecture at the 2022 International Congress of Mathematicians.