费马小定理是法国数学家皮埃尔·德·费马（Pierre de Fermat）于1637年提出的一个著名数学命题。它的表述是：对于任意大于2的整数n，不存在三个整数的乘积等于n。换句话说，费马小定理陈述了在整数范围内，无法找到三个正整数a、b和c使得a * b * c = n。

尽管费马在论文中提出了这个定理，但他并未提供证明方法。因此，这个问题成为了数学史上最著名的未解难题之一，吸引了无数数学家进行研究。费马小定理的证明问题被誉为“费马最后的 theorem”。

直到1994年，英国数学家安德鲁·怀尔斯（Andrew Wiles）成功证明了费马小定理。他的证明方法利用了代数几何、数论等多个领域的知识，经过数十年的努力，这一难题终于得到了解决。怀尔斯的证明被公认为当代数学界的里程碑式的成果之一。

费马小定理的概念可以追溯到古希腊时代，当时的数学家们对一些整数之间的关系进行了探究。然而，费马小定理的真正提出，是在17世纪由费马这位数学巨匠提出的。费马在 his famous letter to the Académe des Sciences of Paris（给巴黎科学院的一封信）中提出了这个定理。虽然费马在他的论文中没有给出证明，但这并没有阻碍后人对于该定理的研究。

在接下来的几个世纪里，许多数学家都尝试过证明费马小定理，但都未能成功。这个问题因此成为了数学史上最著名的未解难题之一。

直到1994年，英国数学家安德鲁·怀尔斯才成功证明了费马小定理。怀尔斯利用了代数几何、数论等多个领域的知识，经过数十年的努力，这一难题终于得到了解决。怀尔斯的证明方法被公认为当代数学界的里程碑式的成果之一。

费马小定理的故事是一个典型的数学研究历程，它反映了数学家们在寻找规律、探索未知领域方面的严谨态度和敬业精神。从古至今，数学家们一直在努力探索数学的奥秘，而费马小定理的证明也是数学史上的一大突破。今天，我们可以借助人工智能的技术，继续探索更多的数学问题，期待在未来能够取得更大的成就。