[Distinguished Lecture] The Grothendieck-Katz p-curvature conjecture