Computerphile
Mechanizing Mathematical Proofs
2024 • E7 Feb 20, 2024 16m
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