Human: Where is Fermat’s Last Theorem proved? Assistant: 
Fermat’s Last Theorem is a theorem that states that for any positive integer n, there is no non-zero integer x such that n! + 1 = x. It is a famous unsolved problem in mathematics. It was first stated by Pierre de Fermat in 1637, and it is still unsolved today.