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

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:

Létrehozva 1d | 2025. jún. 15. 2:20:05


Jelentkezéshez jelentkezzen be

EGYÉB POSTS Ebben a csoportban

#471 – Sundar Pichai: CEO of Google and Alphabet

Sundar Pichai is CEO of Google and Alphabet. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep471-sc See below for timestamps, transcript, and to give feedback, subm

2025. jún. 5. 19:40:10 | LEX FRIDMAN
#470 – James Holland: World War II, Hitler, Churchill, Stalin & Biggest Battles

James Holland is a historian specializing in World War II. He hosts a podcast called WW2 Pod: We Have Ways of Making You Talk. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/

2025. máj. 25. 0:50:13 | LEX FRIDMAN
#469 – Oliver Anthony: Country Music, Blue-Collar America, Fame, Money, and Pain

Oliver Anthony is singer-songwriter who first gained worldwide fame with his viral hit Rich Men North of Richmond. He became a voice for many who are voiceless, with many of his songs speaking to the

2025. máj. 20. 16:40:04 | LEX FRIDMAN
#468 – Janna Levin: Black Holes, Wormholes, Aliens, Paradoxes & Extra Dimensions

Janna Levin is a theoretical physicist and cosmologist specializing in black holes, cosmology of extra dimensions, topology of the universe, and gravitational waves. Thank you for listening ❤ Check ou

2025. máj. 6. 0:20:03 | LEX FRIDMAN
#467 – Tim Sweeney: Fortnite, Unreal Engine, and the Future of Gaming

Tim Sweeney is a legendary video game programmer, founder and CEO of Epic Games that created the Unreal Engine, Fortnite, Gears of War, Unreal Tournament, and many other groundbreaking and influential

2025. ápr. 30. 23:30:20 | LEX FRIDMAN
#466 – Jeffrey Wasserstrom: China, Xi Jinping, Trade War, Taiwan, Hong Kong, Mao

Jeffrey Wasserstrom is a historian of modern China. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep466-sc See below for timestamps, transcript, and to give feedbac

2025. ápr. 24. 23:50:05 | LEX FRIDMAN
#465 – Robert Rodriguez: Sin City, Desperado, El Mariachi, Alita, and Filmmaking

Robert Rodriguez is a legendary filmmaker and creator of Sin City, El Mariachi, Desperado, Spy Kids, Machete, From Dusk Till Dawn, Alita: Battle Angel, The Faculty, and his newest venture Brass Knuckl

2025. ápr. 17. 18:10:03 | LEX FRIDMAN