报告题目：Can AI do mathematical research?
报 告 人：Nguyen Tien Zung
所在单位：University of Toulouse (France) and Torus AI
报告地点：ZOOM Id：904 645 6677，Password：2023
报告摘要: In this talk I would like to discuss the question: Can AI (artificial intelligence) do mathematical research, create new beautiful and useful mathematical theories, solve long-standing math problems, and explain all that in an easy to understand way to humans? What are the steps towards building such an AI? What will be the implications for us mathematicians? I will begin the talk by a brief survey of what can AI do for mathematics right now, with examples in problem solving, dynamical systems, etc.
报告人简介：Nguyen Tien Zung is a pure mathematician turned AI entrepreneur, professor at the University of Toulouse (on leave), founder of the startup Torus AI.