Machine Assisted Proof
Offered By: Joint Mathematics Meetings via YouTube
Course Description
Overview
Explore the cutting-edge intersection of mathematics and artificial intelligence in this 55-minute AMS Colloquium Lecture delivered by renowned mathematician Terence Tao at the 2024 Joint Mathematics Meetings in San Francisco. Delve into the fascinating world of machine-assisted proofs, examining how advanced computational tools are revolutionizing mathematical research and problem-solving. Gain insights into the potential and challenges of integrating AI technologies into traditional mathematical methodologies, and discover how these innovations are reshaping the landscape of mathematical discovery and verification.
Syllabus
Terence Tao, "Machine Assisted Proof"
Taught by
Joint Mathematics Meetings
Related Courses
Introduction to Artificial IntelligenceStanford University via Udacity Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Artificial Intelligence for Robotics
Stanford University via Udacity Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent