Fermat's Last Theorem:
x
n
+ y
n
= z
n
has no positive integer solutions for x, y, z when n > 2
1630 Fermat claims he has a proof (but margin is too small)
1994 Andrew Wiles finally proves the theorem