Automated Mathematical Proofs - Computerphile
33:38
Zero Knowledge Proof (with Avi Wigderson) - Numberphile
21:15
Creating Your Own Programming Language - Computerphile
12:23
Generative AI's Greatest Flaw - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
23:35
Infinitude of primes --- a Lean theorem prover demo
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
16:22
Garbage Collection (Mark & Sweep) - Computerphile
8:47