The Mathematical Truth | Enrico Bombieri
1:19:47
On Langevin Dynamics in Machine Learning - Michael I. Jordan
55:54
The mathematical work of Vladimir Voevodsky - Dan Grayson
1:33:09
The Problem of Modelling the Mathematical Mind
1:04:00
Primes and Equations | Richard Taylor
56:38
James Arthur: The Langlands program: arithmetic, geometry and analysis
1:30:06
Per Martin Löf: How did 'judgement' come to be a term of logic ?
54:22
50 Centuries in 50 minutes (A Brief History of Mathematics)
57:32