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. The theorem was famously conjectured by Pierre de Fermat in 1637 and was not proven until Andrew Wiles completed his proof in 1994.