学术活动

Academic activities

学术活动

AI4Math, Formalization, and Education

发布时间:2026-06-12

报告人 时间 10:30-12:00
地点 E14-116 2026
月日 06-18 重复类型
重复结束日期

时间: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.


TOP