Fermat的最后一个定理，也称为Fermat的大定理，说明没有自然数（1、2、3，
。
）x，y和z，使得x n + y n = z n，其中n是大于2的自然数。例如，如果n = 3，则Fermat的最后定理指出没有自然数x，y和z存在使得x 3 + y 3 = z 3（即，两个立方体的总和不是一个立方体）。 1637年，法国数学家皮埃尔·德·费马（Pierre de Fermat）在亚历山大·迪奥菲图斯（Diophantus）的亚历山大算术副本中（约公元250年）写道：“一个立方体不可能是两个立方体的总和，第四次幂不可能是两个立方体的总和。第四次幂，或者通常对于任何大于第二次幂的数均是两个类似次幂的总和。我已经发现了[该定理]的真正卓越证明，但是这个余量太小而无法容纳它。”几个世纪以来，数学家对这种说法感到困惑，因为没有人能够证明或反驳费马特的最后定理。但是，已经设计出许多特定的n值证明。例如，费马本人做了另一个定理的证明，该定理有效地解决了n = 4的情况。到1993年，在计算机的帮助下，对于所有n <4,000,000的素数都得到了证实。到那时，数学家已经发现，证明代数几何和数论（称为Shimura-Taniyama-Weil猜想）的结果的特殊情况等同于证明Fermat的最后定理。英国数学家安德鲁·威尔斯（Andrew Wiles，自10岁起就对定理感兴趣）在1993年提出了Shimura-Taniyama-Weil猜想的一个证明。但是，在这个证明中发现了一个错误，但是在他的前任的帮助下威尔斯的学生理查德·泰勒（Richard Taylor）最终设计了费马最后定理的证明，该定理于1995年发表在《数学年鉴》（Annals of Mathematics）上。几个世纪以来一直没有证明，这使许多数学家怀疑费马认为自己确实有证明是错误的。
