Limits of AI - explained by mathematicians | Lex Fridman

Why watch

Three mathematicians (Ankur Moitra, Steven Brunton, Alex Kontorovich) discuss AI's capabilities and fundamental limits in solving hard mathematical problems including Navier-Stokes, the Riemann hypothesis, and the unique games conjecture. They explore whether AI can discover new mathematical truths, the role of machine learning in fluid dynamics, and the future of automated theorem proving with tools like Lean. This is for developers and technical professionals curious about the boundary between AI capabilities and mathematical rigor.