Fermat's Last Theorem states that there are no three positive integers a, b, and c that satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2. This theorem was proposed by the French mathematician Pierre de Fermat in 1637, who famously noted that he had a proof that was too large to fit in the margin of his book. For over 350 years, Fermat's Last Theorem remained unproven, becoming one of the most famous unsolved problems in mathematics. In 1994, British mathematician Andrew Wiles finally proved the theorem, using advanced concepts from algebraic geometry and number theory, thus resolving a long-standing mystery in mathematics.