Home / Series / Computerphile / Aired Order / Season 2024 / Episode 7

Mechanizing Mathematical Proofs

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

English
  • Originally Aired February 20, 2024
  • Runtime 16 minutes
  • Network YouTube
  • Created February 20, 2024 by
    shriek
  • Modified February 20, 2024 by
    shriek