
Thank you for listening ❤ Check out our sponsors:
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
*Transcript:*
*CONTACT LEX:*
*Feedback* - give feedback to Lex:
*AMA* - submit questions, videos or call-in:
*Hiring* - join our team:
*Other* - other ways to get in touch:
*EPISODE LINKS:*
Terence's Blog:
Terence's YouTube:
Terence's Books:
*SPONSORS:*
To support this podcast, check out our sponsors & get discounts:
*Notion:* Note-taking and team collaboration.
Go to
*Shopify:* Sell stuff online.
Go to
*NetSuite:* Business management software.
Go to
*LMNT:* Zero-sugar electrolyte drink mix.
Go to
*AG1:* All-in-one daily nutrition drink.
Go to
*OUTLINE:*
0:00 - Introduction
0:49 - First hard problem
6:16 - Navier–Stokes singularity
26:26 - Game of life
33:01 - Infinity
38:07 - Math vs Physics
44:26 - Nature of reality
1:07:09 - Theory of everything
1:13:10 - General relativity
1:16:37 - Solving difficult problems
1:20:01 - AI-assisted theorem proving
1:32:51 - Lean programming language
1:42:51 - DeepMind's AlphaProof
1:47:45 - Human mathematicians vs AI
1:57:37 - AI winning the Fields Medal
2:04:47 - Grigori Perelman
2:17:30 - Twin Prime Conjecture
2:34:04 - Collatz conjecture
2:40:50 - P = NP
2:43:43 - Fields Medal
2:51:18 - Andrew Wiles and Fermat's Last Theorem
2:55:16 - Productivity
2:57:55 - Advice for young people
3:06:17 - The greatest mathematician of all time
*PODCAST LINKS:*
- Podcast Website:
- Apple Podcasts:
- Spotify:
- RSS:
- Podcast Playlist:
- Clips Channel:
*SOCIAL LINKS:*
- X:
- Instagram:
- TikTok:
- LinkedIn:
- Facebook:
- Patreon:
- Telegram:
- Reddit: