时间：2026年6月18日（星期四）10:30-12:00
地点：西湖大学云谷校区E14-116
主讲人：Yijun Yuan, ITS
报告题目：AI4Math, Formalization, and Education
报告摘要：In this talk, I will discuss the current trend of using AI and formalization for accelerating mathematical research, and then introduce our effort in using AI and formalization for our undergraduate education.
