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

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

204分钟 ·
播放数1831
·
评论数11

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
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.

Transcript:
lexfridman.com

CONTACT LEX:
Feedback – give feedback to Lex: lexfridman.com
AMA – submit questions, videos or call-in: lexfridman.com
Hiring – join our team: lexfridman.com
Other – other ways to get in touch: lexfridman.com

EPISODE LINKS:
Terence’s Blog: terrytao.wordpress.com
Terence’s YouTube: www.youtube.com
Terence’s Books: amzn.to

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

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
– Apple Podcasts: apple.co
– Spotify: spoti.fi
– RSS: https://lexfridman.com/feed/podcast/
– Podcast Playlist: www.youtube.com
– Clips Channel: www.youtube.com

展开Show Notes
3:23:13 Galileo Galilei : “Mathematics is the language with God has written the universe.”
DHoHD:数学之美
贝影啊
贝影啊
2025.9.06
比较有趣的点:数学家比起工程学家研究的一个便利是可以做出一些不切实际的假设“cheat code”去解决问题
听着像AI的
1:27:30 “As a kit, I watched a lot of these Hong Kong action movies.”😁
19:12 digital π
18:21 Maxwells demon 麦克斯韦妖
树人_DGBy
树人_DGBy
2025.6.16
这是搬运的还是本人啊
liveM数字朋克:FeedAgent
Terence Tao