Math Encounters: "Bouncing Around: The Language of Billiards in Polygons" Jayadev Athreya 2/12/2025
59:12
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
52:07
Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024
28:33
Terence Tao on how we measure the cosmos | The Distance Ladder Part 1
15:13
2024's Biggest Breakthroughs in Math
13:47
Boa noite, capitalismo | Yanis Varoufakis sobre o tecnofeudalismo e a queda da democracia
25:05
Ranking Paradoxes, From Least to Most Paradoxical
22:29
Microsoft anuncia o primeiro chip quântico topológico do mundo - Majorana 1 explicado
8:48