Uploaded February 2024 | Updated September 2026, 3 weeks ago

---

A graphical problem seems intuitive to a human, but how do you explain something formally to a machine? Dr. Mohammad Abdulaziz, Lecturer in Artificial Intelligence, King's College London

This video was initially titled "Mechanizing Mathematical Proofs"

facebook.com/computerphile
twitter.com/computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharanblog.com

Thank you to Jane Street for their support of this channel. Learn more: janestreet.com