The Weyl algebra of polynomial differential operators is a basic object which appears in algebraic geometry, representation theory, and mathematical physics. In this talk, I will discuss some conjectures of A. Belov-Kanel and M. Kontsevich concerning the structure of the automorphism group of the Weyl algebra. The question turns out to be related to defining an appropriate notion of "support cycle" for a differential equation which, in turn, involves techniques from positive characteristic. In particular, we shall explain a “quantization correspondence” which is based on reducing differential equations to finite characteristic.