報告題目：Can AI do mathematical research?
報 告 人：Nguyen Tien Zung
所在單位：University of Toulouse (France) and Torus AI
報告時間：2023年12月7日 20:00-22:00
報告地點：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.
