Lex Fridman Podcast

#472 – Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI


Listen Later

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-sc
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://notion.com/lex
Shopify: Sell stuff online.
Go to https://shopify.com/lex
NetSuite: Business management software.
Go to http://netsuite.com/lex
LMNT: Zero-sugar electrolyte drink mix.
Go to https://drinkLMNT.com/lex
AG1: All-in-one daily nutrition drink.
Go to https://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: 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

...more
View all episodesView all episodes
Download on the App Store

Lex Fridman PodcastBy Lex Fridman

  • 4.7
  • 4.7
  • 4.7
  • 4.7
  • 4.7

4.7

11,811 ratings


More shows like Lex Fridman Podcast

View all
This Week in Startups by Jason Calacanis

This Week in Startups

1,273 Listeners

The Joe Rogan Experience by Joe Rogan

The Joe Rogan Experience

225,807 Listeners

Making Sense with Sam Harris by Sam Harris

Making Sense with Sam Harris

26,446 Listeners

a16z Podcast by Andreessen Horowitz

a16z Podcast

1,030 Listeners

The Tim Ferriss Show by Tim Ferriss: Bestselling Author, Human Guinea Pig

The Tim Ferriss Show

16,080 Listeners

Founders by David Senra

Founders

1,877 Listeners

The Jordan B. Peterson Podcast by Dr. Jordan B. Peterson

The Jordan B. Peterson Podcast

34,045 Listeners

Modern Wisdom by Chris Williamson

Modern Wisdom

3,731 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,133 Listeners

All-In with Chamath, Jason, Sacks & Friedberg by All-In Podcast, LLC

All-In with Chamath, Jason, Sacks & Friedberg

9,095 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

389 Listeners

Huberman Lab by Scicomm Media

Huberman Lab

28,304 Listeners

The Ben & Marc Show by Marc Andreessen, Ben Horowitz

The Ben & Marc Show

135 Listeners

Lex Fridman Podcast of AI by Lex Fridman Podcast of AI

Lex Fridman Podcast of AI

29 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

459 Listeners