Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao is widely considered to be one of the greatest mathematicians in history. He won the Fields Medal and the Breakthrough Prize in Mathematics, and has contributed to a wide range of fields from fluid dynamics with Navier-Stokes equations to mathematical physics & quantum mechanics, prime numbers & analytics number theory, harmonic analysis, compressed sensing, random matrix theory, combinatorics, and progress on many of the hardest problems in the history of mathematics.
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep472-sb
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.

*Transcript:*
https://lexfridman.com/terence-tao-transcript

*CONTACT LEX:*
*Feedback* - give feedback to Lex: https://lexfridman.com/survey
*AMA* - submit questions, videos or call-in: https://lexfridman.com/ama
*Hiring* - join our team: https://lexfridman.com/hiring
*Other* - other ways to get in touch: https://lexfridman.com/contact

*EPISODE LINKS:*
Terence's Blog: https://terrytao.wordpress.com/
Terence's YouTube: https://www.youtube.com/@TerenceTao27
Terence's Books: https://amzn.to/43H9Aiq

*SPONSORS:*
To support this podcast, check out our sponsors & get discounts:
*Notion:* Note-taking and team collaboration.
Go to https://lexfridman.com/s/notion-ep472-sb
*Shopify:* Sell stuff online.
Go to https://lexfridman.com/s/shopify-ep472-sb
*NetSuite:* Business management software.
Go to https://lexfridman.com/s/netsuite-ep472-sb
*LMNT:* Zero-sugar electrolyte drink mix.
Go to https://lexfridman.com/s/lmnt-ep472-sb
*AG1:* All-in-one daily nutrition drink.
Go to https://lexfridman.com/s/ag1-ep472-sb

*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: https://lexfridman.com/podcast
- Apple Podcasts: https://apple.co/2lwqZIr
- Spotify: https://spoti.fi/2nEwCF8
- RSS: https://lexfridman.com/feed/podcast/
- Podcast Playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4
- Clips Channel: https://www.youtube.com/lexclips

*SOCIAL LINKS:*
- X: https://x.com/lexfridman
- Instagram: https://instagram.com/lexfridman
- TikTok: https://tiktok.com/@lexfridman
- LinkedIn: https://linkedin.com/in/lexfridman
- Facebook: https://facebook.com/lexfridman
- Patreon: https://patreon.com/lexfridman
- Telegram: https://t.me/lexfridman
- Reddit: https://reddit.com/r/lexfridman