Navier-Stokes, AI, Future of Mathematics with Martin Hairer (2014 Fields Medal) [video]