From Proof of Work to Proof of Theorems
53:17
On The Origins of Vagueness in Natural Language
58:16
Limits of Logic: The Gödel Legacy
59:08
The Big Myth: How American Business Taught Us to Loathe Government and Love the Free Market
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
52:57
Steven Strogatz: Global Synchronization: New Theorems, New Puzzles
7:50
Scale AI CEO Alexandr Wang on U.S.-China AI race: We need to unleash U.S. energy to enable AI boom
33:38
Zero Knowledge Proof (with Avi Wigderson) - Numberphile
29:09