Can AI solve P vs NP? | Lex Fridman

Why watch

Three mathematicians from MIT, UW, and Rutgers discuss AI's potential to solve major open problems in mathematics including P vs NP, Navier-Stokes, and the Riemann hypothesis. The conversation explores how AI/machine learning might assist or fundamentally contribute to mathematical proofs, the unique games conjecture, and the limitations of current AI approaches to these grand challenges. Targeted at technically sophisticated viewers interested in the intersection of theoretical computer science, mathematics, and AI.