The hardest problems AI can't solve yet - mathematicians explain | Lex Fridman

Why watch

Three mathematicians (Ankur Moitra, Steven Brunton, Alex Kontorovich) discuss the boundaries of what AI can and cannot solve in mathematics. They cover hard problems like Navier-Stokes, the Riemann hypothesis, and the unique games conjecture, exploring where AI excels at pattern recognition versus where it struggles with rigorous proof construction. This conversation is for developers and technical viewers interested in the intersection of AI and mathematics.