Shenzhen University School of Mathematical Sciences  

Liyuan Scholars Colloquium No. 120  

Lecture Title: Introduction to Formalization in Mathematics

Speaker: Prof. Wen Zaiwen (Peking University)  

Date & Time: 4:00–5:00 PM, March 29, 2025  

Venue: Room 1, Huixing Building, Yuehai Campus, Shenzhen University

Abstract: Unlike traditional mathematical proof methods that rely on intuition, formalization in mathematics requires every step to be strictly reasoned, ensuring no logical gaps or errors. This approach offers multiple advantages: it provides a high level of confidence in the correctness of proofs; proven theorems and lemmas can be reused in other proofs, encouraging modular thinking; certain steps of proof can be automated; and because each step is explicitly defined, it is easier to identify where specific assumptions are made or which logical reasoning is employed. This talk briefly introduces the basics of mathematical formalization and recent progress in formalizing mathematical optimization.  

Biography: Prof. Wen Zaiwen is a Tenured Professor at the Beijing International Center for Mathematical Research, Peking University, and a Boya Distinguished Professor at Peking University. His research focuses on optimization algorithms and theories, as well as their applications in machine learning and artificial intelligence. He received the China Youth Science and Technology Award in 2016, was named a National Leading Talent in Scientific and Technological Innovation in 2020, and was selected as a Distinguished Professor by the Ministry of Education in 2023. He currently serves as an editorial board member for journals such as JSC, JORSC, and CSIAM-AM, and is Vice President of the China Operations Research Society.

All faculty and students are welcome to attend!

Invited by: School of Mathematical Sciences (Hu Yaohua)

School of Mathematical Sciences  

March 25, 2025