Uploaded August 2022 | Updated September 2026, 3 weeks ago

---

Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean.

EXTRA BITS (A deeper dive into automated proofs) : youtu.be/PaKHRfSkhnA

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 bradyharan.com