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
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 ?
1:04:00
Primes and Equations | Richard Taylor
57:32
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
54:22