Computerphile

Mechanizing Mathematical Proofs (2024x7)

Air date: Feb 20, 2024

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