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) : [ Ссылка ]

[ Ссылка ]
[ Ссылка ]

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: [ Ссылка ]

Computerphile is a sister project to Brady Haran's Numberphile. More at [ Ссылка ]

свернуть