What You Need to Know Before
You Start
Starts 4 June 2026 13:23
Ends 4 June 2026
Machine Assistance and the Future of Research Mathematics
Institute for Pure & Applied Mathematics (IPAM)
6076 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
