Computerphile

Automated Mathematical Proofs (2022x24)

Data di messa in onda: Ago 09, 2022

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