Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2. It was famously conjectured by Pierre de Fermat in 1637 and finally proved by Andrew Wiles in 1994.