Faltings' Theorem

Theorem
Let $C$ be a curve over $\Q$ of genus $g > 1$.

Then $C$ has only finitely many rational points.

Proof
He proved it in 1983.

Before that, it was known as Mordell's Conjecture, after Louis J. Mordell.