The Lorenz attractor is mixing
  We study a class of geometric Lorenz flows, introduced independently by Afraimovic, Bykov & Sil'nikov and by Guckenheimer & Williams, and give a verifiable condition for such flows to be mixing. As a consequence, we show that the classical Lorenz attractor is mixing. 
Stefano Luzzatto, Ian Melbourne, Frederic Paccaut