Title：Can AI do mathematical research?
Reporter：Nguyen Tien Zung
Work Unit：University of Toulouse (France) and Torus AI
Time：Dec 7th, 20:00-22:00
Address：ZOOM Id：904 645 6677，Password：2023
Summary of the report:
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.
Introduction of the Reporter:
Nguyen Tien Zung is a pure mathematician turned AI entrepreneur, professor at the University of Toulouse (on leave), founder of the startup Torus AI.
