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