What You Need to Know Before
You Start
Starts 7 July 2026 20:17
Ends 7 July 2026
Machine Assistance and the Future of Research Mathematics
Institute for Pure & Applied Mathematics (IPAM)
6082 Courses
29 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore how AI and machine learning are transforming mathematical research through formal proof assistants, language models, and collaborative platforms with renowned mathematician Terry Tao.
Subjects
Artificial Intelligence
