Smooth projective curve C/ℚ of genus ≥ 2 has finitely many rational points. Faltings 1983 (Fields Medal).