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.
Speaker: Prof. Bin DONG
Date: 15 October 2024 (Monday)
Time: 2:00pm – 3:00pm
Poster: Click here
Latest Seminar
Biography
Prof. Bin DONG serves as a 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. 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 mathematical analysis, modeling, and computational techniques within computational imaging, scientific computing, and machine learning. Professor Dong has been recognized for his contributions to the field, 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. He was selected for the New Cornerstone Investigator Program and received the Wang Xuan Outstanding Young Scholar Award in 2023.