Pierre de Fermat wrote his "last theorem" (that no three positive integers a, b, c satisfy a^n + b^n = c^n for integer values of n>2) in the margin of a copy of Diophantus' arithmetica with the comment that "I have a truly marvelous proof which this margin is too thin to contain".
The theorem went unproved for 385 years until Andrew Wiles eventually proved it in 1995, winning the Abel prize (because he was too old to win a Fields medal). Most people think Fermat didn't have a proof - just an intuition - as Wiles' proof uses a bunch of extremely sophisticated and powerful results that came well after Fermat.
The GP's comment is particularly clever because until Wiles, the Riemann hypothesis and Fermat's last theorem were the two most famous unsolved problems in maths, so were often talked about together as being these almost unassailable challenges.