The Proof in the Code: The Mathematicians
Johan Commelin, Kevin Buzzard, and Alex Kontorovich join Kevin Hartnett, author of The Proof in the Code, to discuss what it means to formalize mathematics in Lean, from large collaborative projects to the day-to-day experience of working alongside a machine that checks every step. Together they consider how computer verification is changing the way mathematicians collaborate, build trust, and decide what counts as proof.
▶︎
The Proof in the Code: The Builders
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Google DeepMind AI Discovered a Mathematical Pattern Hidden in Prime Numbers
▶︎
Gilbert Strang: Linear Algebra, Engineering, Computer Science, AI | Hrvoje Kukina Podcast #26
▶︎
We're 99.9% sure this pattern is true, but no one can prove it
▶︎
Terence Tao – How the world’s top mathematician uses AI
▶︎
Yann LeCun: World Models: Enabling the next AI revolution
▶︎
Something strange happens when you "bump the base"
▶︎
How To Think SO CLEARLY People Assume You're A Genius
▶︎
Eric Bogatin on Breaking Bad Habits in PCB Design - AltiumLive Keynote
▶︎
Train Your Brain to Never Forget (5 Feynman Habits)
▶︎
Feynman's technique is the greatest integration method of all time
▶︎
Historian Timothy Snyder on ENDING Trump Nightmare FOR GOOD | PoliticsGirl
▶︎
A Jane Street Trading Mock Interview with Graham and Andrea
▶︎
Oligarchy is worse than you think
▶︎
What A Certified Genius Looks Like
▶︎
Conan O’Brien Mocks Trump At Harvard Commencement | Crowd Erupts During Viral Speech
▶︎
How To Become Dangerously Self-Educated (with AI)
▶︎
Britain Sold Palestine to Pay Its WWI Debt. The Balfour Declaration Was a Banking Deal!
▶︎