Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Machine-Assisted Proofs in Mathematics - Future Roles and Developments

Simons Foundation via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Join renowned mathematician Terence Tao for a 59-minute Presidential Lecture exploring the evolution and impact of machine assistance in mathematical proofs, from historical milestones to contemporary breakthroughs, while gaining insights into the potential future landscape of human-machine collaboration in mathematical research and problem-solving.

Syllabus

Terence Tao - Machine-Assisted Proofs (February 19, 2025)

Taught by

Simons Foundation

Reviews

Start your review of Machine-Assisted Proofs in Mathematics - Future Roles and Developments

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.