The Future of Mathematics?
54:22
50 Centuries in 50 minutes (A Brief History of Mathematics)
13:40
Will machines eat mathematics ? | Kevin Buzzard | TEDxImperialCollege
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
43:54
Kevin Buzzard: Mathematics and the Computer with G-Research
42:29
Computer Guided Mathematics Symposium - Q&A with Sir Timothy Gowers, Kevin Buzzard and Alex Davies
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
19:02
What Makes People Engage With Math | Grant Sanderson | TEDxBerkeley
3:57:16