#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory

O tym odcinku

<p>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.<br /> Thank you for listening ❤ Check out our sponsors: <a href="https://lexfridman.com/sponsors/ep503-sc">https://lexfridman.com/sponsors/ep503-sc</a><br /> See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.</p> <p><b>Transcript:</b><br /> <a href="https://lexfridman.com/math-ai-crisis-transcript">https://lexfridman.com/math-ai-crisis-transcript</a></p> <p><b>CONTACT LEX:</b><br /> <b>Feedback</b> &#8211; give feedback to Lex: <a href="https://lexfridman.com/survey">https://lexfridman.com/survey</a><br /> <b>AMA</b> &#8211; submit questions, videos or call-in: <a href="https://lexfridman.com/ama">https://lexfridman.com/ama</a><br /> <b>Hiring</b> &#8211; join our team: <a href="https://lexfridman.com/hiring">https://lexfridman.com/hiring</a><br /> <b>Other</b> &#8211; other ways to get in touch: <a href="https://lexfridman.com/contact">https://lexfridman.com/contact</a></p> <p><b>EPISODE LINKS:</b><br /> Ankur&#8217;s Website: <a href="https://people.csail.mit.edu/moitra/">https://people.csail.mit.edu/moitra/</a><br /> Alex&#8217;s X: <a href="https://x.com/AlexKontorovich">https://x.com/AlexKontorovich</a><br /> Alex&#8217;s Website: <a href="https://sites.math.rutgers.edu/~alexk/">https://sites.math.rutgers.edu/~alexk/</a><br /> Steven&#8217;s X: <a href="https://x.com/eigensteve">https://x.com/eigensteve</a><br /> Steven&#8217;s YouTube: <a href="https://youtube.com/@Eigensteve">https://youtube.com/@Eigensteve</a><br /> Steven&#8217;s Website: <a href="https://eigensteve.com">https://eigensteve.com</a><br /> Lean: <a href="https://lean-lang.org/">https://lean-lang.org/</a></p> <p><b>SPONSORS:</b><br /> To support this podcast, check out our sponsors &#038; get discounts:<br /> <b>Wispr Flow:</b> AI-powered voice dictation app.<br /> Go to <a href="https://lexfridman.com/s/wispr_flow-ep503-sc">https://wisprflow.ai/lex</a><br /> <b>Fin:</b> AI agent for customer service.<br /> Go to <a href="https://lexfridman.com/s/fin-ep503-sc">https://fin.ai/lex</a><br /> <b>LMNT:</b> Zero-sugar electrolyte drink mix.<br /> Go to <a href="https://lexfridman.com/s/lmnt-ep503-sc">https://drinkLMNT.com/lex</a><br /> <b>Blitzy:</b> AI agent for large enterprise codebases.<br /> Go to <a href="https://lexfridman.com/s/blitzy-ep503-sc">https://blitzy.com/lex</a><br /> <b>Shopify:</b> Sell stuff online.<br /> Go to <a href="https://lexfridman.com/s/shopify-ep503-sc">https://shopify.com/lex</a><br /> <b>NetSuite:</b> Business management software.<br /> Go to <a href="https://lexfridman.com/s/netsuite-ep503-sc">https://netsuite.ai/lex</a><br /> <b>Perplexity:</b> AI-powered answer engine.<br /> Go to <a href="https://lexfridman.com/s/perplexity-ep503-sc">https://perplexity.ai/</a></p> <p><b>OUTLINE:</b><br /> (00:00) &#8211; Introduction<br /> (01:58) &#8211; Sponsors, Comments, and Reflections<br /> (09:53) &#8211; Crisis moment in mathematics<br /> (18:10) &#8211; Will AI &#8220;solve&#8221; mathematics?<br /> (34:21) &#8211; Can AI create new math?<br /> (1:13:53) &#8211; Riemann hypothesis<br /> (1:37:45) &#8211; Navier-Stokes<br /> (2:03:42) &#8211; How nature computes<br /> (2:12:35) &#8211; Unique Games Conjecture and complexity theory<br /> (2:27:28) &#8211; How mathematicians think<br /> (2:41:05) &#8211; Is math invented or discovered?<br /> (2:47:13) &#8211; Can AI solve P vs NP?<br /> (2:57:28) &#8211; Why LLMs work so well<br /> (3:11:54) &#8211; Problems AI can&#8217;t solve yet<br /> (3:16:23) &#8211; Grigori Perelman<br /> (3:25:41) &#8211; Advice for young people</p>