Szpiro's conjecture
open
Szpiro's discriminant–conductor inequality for elliptic curves: equivalent to abc, claimed via inter-universal Teichmüller theory, but the proof is disputed and the problem stays open.