The Value (and Pitfalls) of Proof—Persi Diaconis (Stanford)
56:54
Parables on the Power of Planning in AI: From Poker to Diplomacy: Noam Brown (OpenAI)
53:12
Andrew Wiles: Fermat's Last theorem: abelian and non-abelian approaches
57:55
2015 Math Panel with Donaldson, Kontsevich, Lurie, Tao, Taylor, Milner
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
18:14
Interview of Arthur Gretton ML Researcher at Google DeepMind
54:04
A Dogged Pursuit For Satisfaction–Ryan Williams (MIT CSAIL)
1:21:24
Terence Tao Teaches Mathematical Thinking
19:36