Summary
In a recent podcast episode, a group of mathematicians and computer scientists gathered to discuss the implications of recent breakthroughs in mathematics and artificial intelligence, particularly focusing on the resolution of significant problems like the Unique Games Conjecture and the Navier-Stokes equations. The conversation highlighted a moment of crisis and opportunity in the field of mathematics, as AI systems have begun to tackle problems that were once thought to be insurmountable.
Stephen Brunton, Ankur Moitra, and Alex, all experts in their respective fields, shared their thoughts on the emotional and intellectual impact of these advancements. They expressed a mix of awe and concern, recognizing that while AI can solve complex mathematical problems, it also raises questions about the future of human mathematicians and the nature of mathematical inquiry itself. The group emphasized the importance of curiosity and intrinsic motivation in pursuing mathematics, suggesting that the essence of mathematical exploration lies not just in solving problems but in the journey of understanding.
The discussion also touched on the broader implications of AI in society, particularly the need for a balance between leveraging AI's capabilities and maintaining human oversight and creativity. The mathematicians acknowledged the potential for AI to revolutionize fields like biology and engineering but cautioned against over-reliance on technology without a critical understanding of its limitations. They concluded that the future of mathematics and AI collaboration will require a rethinking of traditional educational models and a renewed focus on fostering curiosity and creativity in the next generation of mathematicians.
Show Notes
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.
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep503-sc
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
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://wisprflow.ai/lex
Fin: AI agent for customer service.
Go to https://fin.ai/lex
LMNT: Zero-sugar electrolyte drink mix.
Go to https://drinkLMNT.com/lex
Blitzy: AI agent for large enterprise codebases.
Go to https://blitzy.com/lex
Shopify: Sell stuff online.
Go to https://shopify.com/lex
NetSuite: Business management software.
Go to https://netsuite.ai/lex
Perplexity: AI-powered answer engine.
Go to https://perplexity.ai/
OUTLINE:
(00:00) – Introduction
(01:58) – Sponsors, Comments, and Reflections
(09:53) – Crisis moment in mathematics
(18:10) – Will AI “solve” mathematics?
(34:21) – Can AI create new math?
(1:13:53) – Riemann hypothesis
(1:37:45) – Navier-Stokes
(2:03:42) – How nature computes
(2:12:35) – Unique Games Conjecture and complexity theory
(2:27:28) – How mathematicians think
(2:41:05) – Is math invented or discovered?
(2:47:13) – Can AI solve P vs NP?
(2:57:28) – Why LLMs work so well
(3:11:54) – Problems AI can’t solve yet
(3:16:23) – Grigori Perelman
(3:25:41) – Advice for young people
More from Lex Fridman Podcast
Andrew Scull is a historian of psychiatry.
DHH is the creator of Ruby on Rails, Omarchy Linux, CTO of 37signals, and a racecar driver.
Khabib Nurmagomedov is one of the greatest fighters of all time, who retired from the UFC undefeated with a perfect 29-0 record. We did this conversation entirely in Russian. It’s translated and dubbed into English. Both language audio tracks (and subtitles) are available on YouTube. Here, only the English audio is available. We worked hard to make it enjoyable to listen to, by carefully dubbing the translation using voice-cloning, as we’ve done for previous foreign-language podcasts.
Gary Gallagher is a historian of the American Civil War.
Anthony Kaldellis is a historian of the Roman Empire and author of “The New Roman Empire”, a comprehensive history of the Byzantine Empire (Eastern Roman Empire).