The Future of Mathematics?
43:54
Kevin Buzzard: Mathematics and the Computer with G-Research
1:26:07
The Future of Math with o1 Reasoning with Terence Tao, Mark Chen, and James Donovan
1:04:53
Abdulle Lecture - Interactive theorem provers : can they help mathematicians ? - Prof. Kevin Buzzard
1:16:06
What Is an Interactive Theorem Prover? | Kevin Buzzard
42:29
Computer Guided Mathematics Symposium - Q&A with Sir Timothy Gowers, Kevin Buzzard and Alex Davies
8:54
Germany’s Far-Right Comeback | NYT Opinion
44:04
The story of mathematical proof – with John Stillwell
59:24