The threat of AI to human civilization | Lex Fridman

Why watch

Three mathematicians (Ankur Moitra, Steven Brunton, Alex Kontorovich) discuss AI's unprecedented ability to solve some of mathematics hardest problems, including Navier-Stokes, the Riemann hypothesis, and the unique games conjecture. This is a deep exploration of how machine learning and AI are transforming mathematical research, featuring discussions on fluid dynamics, theorem proving with Lean, and the broader implications for human mathematicians. Ideal for mathematicians, computer scientists, and anyone interested in the frontier of AI capabilities.