从古老传说到现代挑战，费马大定理的故事跨越了数千年的历史长河。它是由法国数学家皮埃尔·德·费马在1637年提出的一道关于素数质因子的神秘问题。在这道题中，费马声称没有任何整数a、b和c可以满足等式a^n + b^n = c^n（n>2）的解，这一发现被誉为“数学史上的最大惊喜”。

但这个“惊喜”并未引起当时世人的广泛关注，直到300多年后，一位名叫安德鲁·怀特黑德的英国数学家在1876年重新提出了这一问题，并试图用几何方法证明其正确性。然而，他所用的方法存在严重缺陷，最终只能证实小于1000的任何自然数n都不能有这种解。

在20世纪初期，一系列著名数学家的尝试也未能解决这个难题。他们使用了各种各样的方法，从代数技巧到分析理论，但每一次尝试都以失败告终。这让人开始怀疑是否真的存在这样的整数解，但又无法证据确凿地否认它的存在。

然而，在1955年，一位美国计算机科学家迪克森·戴维斯提出了一种新的证明策略。他使用了电子计算机来检查一些较小的值，看看是否有符合条件的小整数解。但经过大量计算之后，他宣布没有找到任何可能违反费马大定理的情况。

最终，在1994年，由一个名叫彼得·莫里斯和约翰·莱克斯的人组成的小组成功找到了一个特殊情况下的对偶例，即对于某个特殊形式的问题，有一个奇怪且独特的情形似乎不遵循费马大定理。这一发现使人们认识到，虽然目前我们还不知道是否存在一般性的例外，但是至少有一些特殊情况下不适用于原定的规则。