Computerphile

Automated Mathematical Proofs

2022 • E24    Aug 9, 2022    18m
Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean.

Where to Watch Computerphile - 2022 • E24

 

  •   
  •   
  •   
  •   
  •   
  •   
  •   

Take Plex everywhere

Watch free anytime, anywhere, on almost any device.
See the full list of supported devices