https://mp.weixin.qq.com/s/F3IRcII-y8vartpn54LgmA报告题目/Title
Can AI do mathematical research?
报告人/Speaker
Nguyen Tien Zung (University of Toulouse, France and Torus AI)
报告时间/Time
2023年12月7日 20:00-21:00
报告地点/Location
ZOOM ID：904 645 6677, Password：2023
报告摘要/Abstract
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.
报告人简介/Bio
Nguyen Tien Zung is a pure mathematician turned AI entrepreneur, professor at the University of Toulouse (on leave), founder of the startup Torus AI.
--
FROM 202.120.11.*