Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Lex Fridman Podcast
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: lexfridman.com/sponsors/ep472-sc See below for , transcript, and to give feedback, submit questions, contact Lex, etc.
Transcript: lexfridman.com/terence-tao-transcript
CONTACT LEX: Feedback – give feedback to Lex: lexfridman.com/survey AMA – submit questions, videos or call-in: lexfridman.com/ama Hiring – join our team: lexfridman.com/hiring Other – other ways to get in touch: lexfridman.com/contact
EPISODE LINKS: Terence’s Blog: terrytao.wordpress.com Terence’s YouTube: @TerenceTao27 Terence’s Books: amzn.to/43H9Aiq
SPONSORS: To support this podcast, check out our sponsors & get discounts: Notion: Note-taking and team collaboration. Go to notion.com/lex Shopify: Sell stuff online. Go to shopify.com/lex NetSuite: Business management software. Go to netsuite.com/lex LMNT: Zero-sugar electrolyte drink mix. Go to drinkLMNT.com/lex AG1: All-in-one daily nutrition drink. Go to drinkag1.com/lex
OUTLINE:
- (00:00) – Introduction
- (00:36) – Sponsors, Comments, and Reflections
- (09:49) – First hard problem
- (15:16) – Navier–Stokes singularity
- (35:25) – Game of life
- (42:00) – Infinity
- (47:07) – Math vs Physics
- (53:26) – Nature of reality
- (1:16:08) – Theory of everything
- (1:22:09) – General relativity
- (1:25:37) – Solving difficult problems
- (1:29:00) – AI-assisted theorem proving
- (1:41:50) – Lean programming language
- (1:51:50) – DeepMind’s AlphaProof
- (1:56:45) – Human mathematicians vs AI
- (2:06:37) – AI winning the Fields Medal
- (2:13:47) – Grigori Perelman
- (2:26:29) – Twin Prime Conjecture
- (2:43:04) – Collatz conjecture
- (2:49:50) – P = NP
- (2:52:43) – Fields Medal
- (3:00:18) – Andrew Wiles and Fermat’s Last Theorem
- (3:04:15) – Productivity
- (3:06:54) – Advice for young people
- (3:15:17) – The greatest mathematician of all time
PODCAST LINKS: – Podcast Website: lexfridman.com/podcast – Apple Podcasts: apple.co/2lwqZIr – Spotify: spoti.fi/2nEwCF8 – RSS: lexfridman.com/feed/podcast – Podcast Playlist: youtube.com/playlist?list=PLrAXtmErZg... – Clips Channel: youtube.com/lexclips
Raw Description
<p>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.<br /> Thank you for listening ❤ Check out our sponsors: <a href="https://lexfridman.com/sponsors/ep472-sc">https://lexfridman.com/sponsors/ep472-sc</a><br /> See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.</p> <p><b>Transcript:</b><br /> <a href="https://lexfridman.com/terence-tao-transcript">https://lexfridman.com/terence-tao-transcript</a></p> <p><b>CONTACT LEX:</b><br /> <b>Feedback</b> – give feedback to Lex: <a href="https://lexfridman.com/survey">https://lexfridman.com/survey</a><br /> <b>AMA</b> – submit questions, videos or call-in: <a href="https://lexfridman.com/ama">https://lexfridman.com/ama</a><br /> <b>Hiring</b> – join our team: <a href="https://lexfridman.com/hiring">https://lexfridman.com/hiring</a><br /> <b>Other</b> – other ways to get in touch: <a href="https://lexfridman.com/contact">https://lexfridman.com/contact</a></p> <p><b>EPISODE LINKS:</b><br /> Terence’s Blog: <a href="https://terrytao.wordpress.com/">https://terrytao.wordpress.com/</a><br /> Terence’s YouTube: <a href="https://www.youtube.com/@TerenceTao27">https://www.youtube.com/@TerenceTao27</a><br /> Terence’s Books: <a href="https://amzn.to/43H9Aiq">https://amzn.to/43H9Aiq</a></p> <p><b>SPONSORS:</b><br /> To support this podcast, check out our sponsors & get discounts:<br /> <b>Notion:</b> Note-taking and team collaboration.<br /> Go to <a href="https://lexfridman.com/s/notion-ep472-sc">https://notion.com/lex</a><br /> <b>Shopify:</b> Sell stuff online.<br /> Go to <a href="https://lexfridman.com/s/shopify-ep472-sc">https://shopify.com/lex</a><br /> <b>NetSuite:</b> Business management software.<br /> Go to <a href="https://lexfridman.com/s/netsuite-ep472-sc">http://netsuite.com/lex</a><br /> <b>LMNT:</b> Zero-sugar electrolyte drink mix.<br /> Go to <a href="https://lexfridman.com/s/lmnt-ep472-sc">https://drinkLMNT.com/lex</a><br /> <b>AG1:</b> All-in-one daily nutrition drink.<br /> Go to <a href="https://lexfridman.com/s/ag1-ep472-sc">https://drinkag1.com/lex</a></p> <p><b>OUTLINE:</b><br /> (00:00) – Introduction<br /> (00:36) – Sponsors, Comments, and Reflections<br /> (09:49) – First hard problem<br /> (15:16) – Navier–Stokes singularity<br /> (35:25) – Game of life<br /> (42:00) – Infinity<br /> (47:07) – Math vs Physics<br /> (53:26) – Nature of reality<br /> (1:16:08) – Theory of everything<br /> (1:22:09) – General relativity<br /> (1:25:37) – Solving difficult problems<br /> (1:29:00) – AI-assisted theorem proving<br /> (1:41:50) – Lean programming language<br /> (1:51:50) – DeepMind’s AlphaProof<br /> (1:56:45) – Human mathematicians vs AI<br /> (2:06:37) – AI winning the Fields Medal<br /> (2:13:47) – Grigori Perelman<br /> (2:26:29) – Twin Prime Conjecture<br /> (2:43:04) – Collatz conjecture<br /> (2:49:50) – P = NP<br /> (2:52:43) – Fields Medal<br /> (3:00:18) – Andrew Wiles and Fermat’s Last Theorem<br /> (3:04:15) – Productivity<br /> (3:06:54) – Advice for young people<br /> (3:15:17) – The greatest mathematician of all time</p> <p><b>PODCAST LINKS:</b><br /> – Podcast Website: <a href="https://lexfridman.com/podcast">https://lexfridman.com/podcast</a><br /> – Apple Podcasts: <a href="https://apple.co/2lwqZIr">https://apple.co/2lwqZIr</a><br /> – Spotify: <a href="https://spoti.fi/2nEwCF8">https://spoti.fi/2nEwCF8</a><br /> – RSS: <a href="https://lexfridman.com/feed/podcast/">https://lexfridman.com/feed/podcast/</a><br /> – Podcast Playlist: <a href="https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4">https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4</a><br /> – Clips Channel: <a href="https://www.youtube.com/lexclips">https://www.youtube.com/lexclips</a></p>
Chapters (1/25)
Show Notes
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: lexfridman.com/sponsors/ep472-sc See below for , transcript, and to give feedback, submit questions, contact Lex, etc.
Transcript: lexfridman.com/terence-tao-transcript
CONTACT LEX: Feedback – give feedback to Lex: lexfridman.com/survey AMA – submit questions, videos or call-in: lexfridman.com/ama Hiring – join our team: lexfridman.com/hiring Other – other ways to get in touch: lexfridman.com/contact
EPISODE LINKS: Terence’s Blog: terrytao.wordpress.com Terence’s YouTube: @TerenceTao27 Terence’s Books: amzn.to/43H9Aiq
SPONSORS: To support this podcast, check out our sponsors & get discounts: Notion: Note-taking and team collaboration. Go to notion.com/lex Shopify: Sell stuff online. Go to shopify.com/lex NetSuite: Business management software. Go to netsuite.com/lex LMNT: Zero-sugar electrolyte drink mix. Go to drinkLMNT.com/lex AG1: All-in-one daily nutrition drink. Go to drinkag1.com/lex
OUTLINE:
- (00:00) – Introduction
- (00:36) – Sponsors, Comments, and Reflections
- (09:49) – First hard problem
- (15:16) – Navier–Stokes singularity
- (35:25) – Game of life
- (42:00) – Infinity
- (47:07) – Math vs Physics
- (53:26) – Nature of reality
- (1:16:08) – Theory of everything
- (1:22:09) – General relativity
- (1:25:37) – Solving difficult problems
- (1:29:00) – AI-assisted theorem proving
- (1:41:50) – Lean programming language
- (1:51:50) – DeepMind’s AlphaProof
- (1:56:45) – Human mathematicians vs AI
- (2:06:37) – AI winning the Fields Medal
- (2:13:47) – Grigori Perelman
- (2:26:29) – Twin Prime Conjecture
- (2:43:04) – Collatz conjecture
- (2:49:50) – P = NP
- (2:52:43) – Fields Medal
- (3:00:18) – Andrew Wiles and Fermat’s Last Theorem
- (3:04:15) – Productivity
- (3:06:54) – Advice for young people
- (3:15:17) – The greatest mathematician of all time
PODCAST LINKS: – Podcast Website: lexfridman.com/podcast – Apple Podcasts: apple.co/2lwqZIr – Spotify: spoti.fi/2nEwCF8 – RSS: lexfridman.com/feed/podcast – Podcast Playlist: youtube.com/playlist?list=PLrAXtmErZg... – Clips Channel: youtube.com/lexclips
Raw Description
<p>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.<br /> Thank you for listening ❤ Check out our sponsors: <a href="https://lexfridman.com/sponsors/ep472-sc">https://lexfridman.com/sponsors/ep472-sc</a><br /> See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.</p> <p><b>Transcript:</b><br /> <a href="https://lexfridman.com/terence-tao-transcript">https://lexfridman.com/terence-tao-transcript</a></p> <p><b>CONTACT LEX:</b><br /> <b>Feedback</b> – give feedback to Lex: <a href="https://lexfridman.com/survey">https://lexfridman.com/survey</a><br /> <b>AMA</b> – submit questions, videos or call-in: <a href="https://lexfridman.com/ama">https://lexfridman.com/ama</a><br /> <b>Hiring</b> – join our team: <a href="https://lexfridman.com/hiring">https://lexfridman.com/hiring</a><br /> <b>Other</b> – other ways to get in touch: <a href="https://lexfridman.com/contact">https://lexfridman.com/contact</a></p> <p><b>EPISODE LINKS:</b><br /> Terence’s Blog: <a href="https://terrytao.wordpress.com/">https://terrytao.wordpress.com/</a><br /> Terence’s YouTube: <a href="https://www.youtube.com/@TerenceTao27">https://www.youtube.com/@TerenceTao27</a><br /> Terence’s Books: <a href="https://amzn.to/43H9Aiq">https://amzn.to/43H9Aiq</a></p> <p><b>SPONSORS:</b><br /> To support this podcast, check out our sponsors & get discounts:<br /> <b>Notion:</b> Note-taking and team collaboration.<br /> Go to <a href="https://lexfridman.com/s/notion-ep472-sc">https://notion.com/lex</a><br /> <b>Shopify:</b> Sell stuff online.<br /> Go to <a href="https://lexfridman.com/s/shopify-ep472-sc">https://shopify.com/lex</a><br /> <b>NetSuite:</b> Business management software.<br /> Go to <a href="https://lexfridman.com/s/netsuite-ep472-sc">http://netsuite.com/lex</a><br /> <b>LMNT:</b> Zero-sugar electrolyte drink mix.<br /> Go to <a href="https://lexfridman.com/s/lmnt-ep472-sc">https://drinkLMNT.com/lex</a><br /> <b>AG1:</b> All-in-one daily nutrition drink.<br /> Go to <a href="https://lexfridman.com/s/ag1-ep472-sc">https://drinkag1.com/lex</a></p> <p><b>OUTLINE:</b><br /> (00:00) – Introduction<br /> (00:36) – Sponsors, Comments, and Reflections<br /> (09:49) – First hard problem<br /> (15:16) – Navier–Stokes singularity<br /> (35:25) – Game of life<br /> (42:00) – Infinity<br /> (47:07) – Math vs Physics<br /> (53:26) – Nature of reality<br /> (1:16:08) – Theory of everything<br /> (1:22:09) – General relativity<br /> (1:25:37) – Solving difficult problems<br /> (1:29:00) – AI-assisted theorem proving<br /> (1:41:50) – Lean programming language<br /> (1:51:50) – DeepMind’s AlphaProof<br /> (1:56:45) – Human mathematicians vs AI<br /> (2:06:37) – AI winning the Fields Medal<br /> (2:13:47) – Grigori Perelman<br /> (2:26:29) – Twin Prime Conjecture<br /> (2:43:04) – Collatz conjecture<br /> (2:49:50) – P = NP<br /> (2:52:43) – Fields Medal<br /> (3:00:18) – Andrew Wiles and Fermat’s Last Theorem<br /> (3:04:15) – Productivity<br /> (3:06:54) – Advice for young people<br /> (3:15:17) – The greatest mathematician of all time</p> <p><b>PODCAST LINKS:</b><br /> – Podcast Website: <a href="https://lexfridman.com/podcast">https://lexfridman.com/podcast</a><br /> – Apple Podcasts: <a href="https://apple.co/2lwqZIr">https://apple.co/2lwqZIr</a><br /> – Spotify: <a href="https://spoti.fi/2nEwCF8">https://spoti.fi/2nEwCF8</a><br /> – RSS: <a href="https://lexfridman.com/feed/podcast/">https://lexfridman.com/feed/podcast/</a><br /> – Podcast Playlist: <a href="https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4">https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4</a><br /> – Clips Channel: <a href="https://www.youtube.com/lexclips">https://www.youtube.com/lexclips</a></p>