Lex Fridman Podcast full episode:
Thank you for listening ❤ Check out our sponsors:
See below for guest bio, transcript, links, and to give feedback, submit questions, contact Lex, etc.
*GUEST BIO:*
Ankur Moitra, Steven Brunton and Alex Kontorovich are three mathematicians who can speak to this incredible moment in the history of mathematics, when AI solved some of its hardest problems: Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture and hundreds of other problems. Ankur Moitra is a mathematician at MIT (visiting the Institute for Advanced Study in Princeton) working in theoretical computer science, who can speak to the unique games conjecture, complexity theory and the mathematics of how AI learns. Steven Brunton is a mathematician and fluid dynamics expert at UW, who can speak to Navier-Stokes, turbulence and machine learning for fluid dynamics. Alex Kontorovich is a mathematician at Rutgers specializing in number theory, who can speak to the Riemann hypothesis, Lean and machine-checked proofs.
*Transcript:*
*CONTACT LEX:*
*Feedback* – give feedback to Lex:
*AMA* – submit questions, videos or call-in:
*Hiring* – join our team:
*Other* – other ways to get in touch:
*EPISODE LINKS:*
Ankur’s Website:
Alex’s X:
Alex’s Website:
Steven’s X:
Steven’s YouTube:
Steven’s Website:
Lean:
*SPONSORS:*
To support this podcast, check out our sponsors & get discounts:
*Wispr Flow:* AI-powered voice dictation app.
Go to
*Fin:* AI agent for customer service.
Go to
*LMNT:* Zero-sugar electrolyte drink mix.
Go to
*Blitzy:* AI agent for large enterprise codebases.
Go to
*Shopify:* Sell stuff online.
Go to
*NetSuite:* Business management software.
Go to
*Perplexity:* AI-powered answer engine.
Go to
*PODCAST LINKS:*
– Podcast Website:
– Apple Podcasts:
– Spotify:
– RSS:
– Podcast Playlist:
– Clips Channel:
*SOCIAL LINKS:*
– X:
– Instagram:
– TikTok:
– LinkedIn:
– Facebook:
– Patreon:
– Telegram:
– Reddit:
source
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=ZAzWPE9CItg
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/cv10090-sa
See below for guest bio, transcript, links, and to give feedback, submit questions, contact Lex, etc.
GUEST BIO:
Ankur Moitra, Steven Brunton and Alex Kontorovich are three mathematicians who can speak to this incredible moment in the history of mathematics, when AI solved some of its hardest problems: Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture and hundreds of other problems. Ankur Moitra is a mathematician at MIT (visiting the Institute for Advanced Study in Princeton) working in theoretical computer science, who can speak to the unique games conjecture, complexity theory and the mathematics of how AI learns. Steven Brunton is a mathematician and fluid dynamics expert at UW, who can speak to Navier-Stokes, turbulence and machine learning for fluid dynamics. Alex Kontorovich is a mathematician at Rutgers specializing in number theory, who can speak to the Riemann hypothesis, Lean and machine-checked proofs.
Transcript:
https://lexfridman.com/math-ai-crisis-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:
Ankur's Website: https://people.csail.mit.edu/moitra/
Alex's X: https://x.com/AlexKontorovich
Alex's Website: https://sites.math.rutgers.edu/~alexk/
Steven's X: https://x.com/eigensteve
Steven's YouTube: https://youtube.com/@Eigensteve
Steven's Website: https://eigensteve.com
Lean: https://lean-lang.org/
SPONSORS:
To support this podcast, check out our sponsors & get discounts:
Wispr Flow: AI-powered voice dictation app.
Go to https://lexfridman.com/s/wispr_flow-cv10090-sa
Fin: AI agent for customer service.
Go to https://lexfridman.com/s/fin-cv10090-sa
LMNT: Zero-sugar electrolyte drink mix.
Go to https://lexfridman.com/s/lmnt-cv10090-sa
Blitzy: AI agent for large enterprise codebases.
Go to https://lexfridman.com/s/blitzy-cv10090-sa
Shopify: Sell stuff online.
Go to https://lexfridman.com/s/shopify-cv10090-sa
NetSuite: Business management software.
Go to https://lexfridman.com/s/netsuite-cv10090-sa
Perplexity: AI-powered answer engine.
Go to https://lexfridman.com/s/perplexity-cv10090-sa
PODCAST LINKS:
– Podcast Website: https://lexfridman.com/podcast
– Apple Podcasts: https://apple.co/2lwqZIr
– Spotify: https://open.spotify.com/show/2MAi0BvDc6GTFvKFPXnkCL
– 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
I see mathematics changing into a mental free diving experience. AI will produce math so unfathomable that no human brain can fully reach to the extent of its depth, but we'll try to go as deep as we can.
Heavy, glad I saw that. Also, I got the 109th like on this video, meaning I saw 108 just before that. 108 is an incredible number. I almost wanna ask Al why it's a special number, but I'm almost afraid of what it'll say, maybe ruin the ideas I've developed about it over the past 20 years. It's all very Jewish. I've fought with it and it's fought back. Yah, it's true what they say, you gotta wrestle with it
As a programmer this sounds like decompilation. As if the lean proof is like a compiled program. A set of assembly instructions incomprehensible to a human. And the task is to decompile them into a human understandable flow chart.
The black box would explain the methodology for the result
They should try AI on the abc-conjecture.
Jeff Bezos has a point here
What if AI invents a new math that humans can't understand?
Just like you can write really bad code that works.
100 percent. math is generally a language to solve difficult problems. not an explainable or understandable language, it is not of Necessity for math to be comprehendable. it must solve problems and it will.
First ✌🏻