Fermat's last theorem is an algebraic statement proposed by Pierre de Fermat.
Following his death, a mathematical formula was found scrawled in the margin of his notes, "xn + yn = zn, where n is greater than 2," which Fermat said had no solution in whole numbers, but he also added a phrase, "remarkable proof."
According to Jean-Luc Picard, people have been trying to find the proof for 800 years, including himself, during his leisure time. Picard found it stimulating, and noted that it put things in perspective stating that "in our arrogance, we feel we are so advanced and yet we cannot unravel a simple knot tied by a part-time French mathematician working alone without a computer." (TNG: "The Royale")