AG : Lucas Pannier (LMV) : An effective proof of the p-curvature conjecture for first-order differential equations
Abstract: In 1974, Honda proved the p-curvature conjecture for order one differential equations with rational coefficients over a number field. He demonstrated that in this setting, the p-curvature conjecture was equivalent to a theorem due to Kronecker, providing a local-global

