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

Author: Lex Fridman - Bewertung: 102x - Views:905

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, and to give feedback, submit questions, contact Lex, etc.



*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