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

エピソード再生

エピソード概要

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. https://lexfridman.com/sponsors/ep503-sc 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: https://people.csail.mit.edu/moitra/ https://x.com/AlexKontorovich https://sites.math.rutgers.edu/~alexk/ https://x.com/eigensteve https://youtube.com/@Eigensteve https://eigensteve.com https://lean-lang.org/ SPONSORS: Wispr Flow: AI-powered voice dictation app. https://wisprflow.ai/lex Fin: AI agent for customer service. https://fin.ai/lex LMNT: Zero-sugar electrolyte drink mix. https://drinkLMNT.com/lex Blitzy: AI agent for large enterprise codebases. https://blitzy.com/lex Shopify: Sell stuff online. https://shopify.com/lex NetSuite: Business management software. https://netsuite.ai/lex Perplexity: AI-powered answer engine. https://perplexity.ai/ OUTLINE: (00:00) – Introduction (01:58) – Sponsors, Comments, and Reflections (09:53) – Crisis moment in mathematics (18