In this talk we discuss our recently introduced methods for obtaining strictly positive lower bounds on the top Lyapunov exponent of high-dimensional, stochastic differential equations such as the weakly-damped Lorenz-96 (L96) model or Galerkin truncations of the 2d Navier-Stokes equations (joint with Alex Blumenthal and Sam Punshon-Smith). This hallmark of chaos has long been observed in these models, however, no mathematical proof had previously been made for any type of deterministic or stochastic forcing. The method we proposed combines (A) a new identity connecting the Lyapunov exponents to a Fisher information of the stationary measure of the Markov process tracking tangent directions (the so-called "projective process"); and (B) an L1-based hypoelliptic regularity estimate to show that this (degenerate) Fisher information is an upper bound on some fractional regularity. For L96 and GNSE, we then further reduce the lower bound of the top Lyapunov exponent to proving that the projective process satisfies Hörmander's condition. I will also discuss the recent work of Sam Punshon-Smith and I on verifying this condition for the 2d Galerkin-Navier-Stokes equations in a rectangular, periodic box of any aspect ratio using some special structure of matrix Lie algebras and ideas from computational algebraic geometry.