1637年，费马在书本空白处提出费马猜想。
1770年，欧拉证明n=3时定理成立
1823年，勒让德证明n=5时定理成立。
1832年，狄利克雷试图证明n=7失败，但证明 n=14时定理成立。
1839年，拉梅证明n=7时定理成立。
1850年，库默尔证明2
1955年，范迪维尔以电脑计算证明了 2
1976年，瓦格斯塔夫以电脑计算证明 2
1985年，罗瑟以电脑计算证明2
1987年，格朗维尔以电脑计算证明了 2
1995年，怀尔斯证明 n>2时定理成立。
虽然是个丢番图方程，但是怀尔斯却没有用代数学的知识去破解。
而是用了一个很神秘的工具，就是谷山丰志村五郎定理中的一个情况去证明的。谷山丰志村五郎定理是指所有的模形式与椭圆曲线是一一对应的，这个理论极为神秘，但却基本，一直到后来的BSD定理也是于此有关的，还没有完全解决。
法尔廷斯证明了莫德尔猜想，说只要代数曲线在复空间上的形状上有大于1的亏格洞，那上面包含的有理点也只能有有限个。
费马大定理这样的方程在复空间上，就是一个亏格大于一的方程。
1984年，德国数学家弗雷在德国小城奥伯沃尔法赫的一次数论研讨会上宣称：假如费马大定理不成立，则由费马方程可构造一个椭圆曲线，它不可被模形式化。也就是说谷山—志村猜想将不成立。但弗雷构造的所谓“弗雷曲线”不可模形式化也说不清具体证明细节，因此也只是猜想，被称为“弗雷命题”，弗雷命题如得证，费马大定理就与谷山—志村猜想等价。
1986年美国加州大学伯克利分校的肯·里贝特教授完成了弗雷命题的证明。
1986年，英国数学家安德鲁·怀尔斯听到里贝特证明弗雷命题后，感到攻克费马大定理到了最后攻关阶段，并且这刚好是他的研究领域，他开始放弃所有其它活动，精心梳理有关领域的基本理论，为此准备了一年半时间把椭圆曲线与模形式通过伽罗瓦表示方法“排队”。
接下来的要将两种“排队”序列对应配对，这一步他两年无进展。
此时他读博时学的岩泽理论一度取得实效，到1991年他之前的导师科茨告诉他有位叫弗莱切的学生用苏联数学家科利瓦金的方法研究椭圆曲线，这一方法使其工作有重大进展。
1993年6月在剑桥牛顿学院要举行一个名为“L函数和算术”的学术会议，组织者之一正是怀尔斯的博士导师科茨，于是在1993年6月21日到23日怀尔斯被特许在该学术会上以“模形式、椭圆曲线与伽罗瓦表示”为题，分三次作了演讲。
听完演讲人们意识到谷山—志村猜想已经证明。
由此把法尔廷斯证明的莫德尔猜想、肯·里贝特证明的弗雷命题和怀尔斯证明的谷山—志村猜想联合起来就可说明费马大定理成立。
但此刻数学界反倒十分冷静，明确指出论证还需仔细审核，因为历史上曾多少次宣布证明但后来被查证错误。
怀尔斯的证明被分为6个部分分别由6人审查，其中由凯兹负责的第三部分查出关于欧拉系的构造有严重缺陷，使科利瓦金—弗莱切方法不能对它适用，怀尔斯对此无能为力，1993年12月怀尔斯公开承认证明有问题，但表示很快会补正。
一时间怀尔斯的证明被认为是历史上拉梅、柯西、勒贝格、里贝特（里贝特也曾称证明了谷山—志村猜想）错误证明的又一例子。
1994年1月怀尔斯邀请剑桥大学讲师理查德·泰勒到普林斯顿帮他完善科利瓦金—弗莱切方法解决问题，但整整8个月过去，问题没有解决。
泰勒准备再过一个月后回剑桥，然后怀尔斯正式公布手稿，承认证明失败，1994年9月19日怀尔斯想自己证明失败原因该怎么写，回顾自己是先用岩泽理论未能突破而后用科利瓦金—弗莱切方法，又对该法一类特殊欧拉系出了问题，这样一想，突然又想到何不再用岩泽理论结合科利瓦金—弗莱切方法试试？问题解法就是这样，怀尔斯绝处逢生，修补了漏洞。
1994年10月25日11点4分11秒，怀尔斯通过他以前的学生、美国俄亥俄州立大学教授卡尔·鲁宾向世界数学界发送了费马大定理的完整证明邮件，包括一篇长文“模形椭圆曲线和费马大定理”，作者安德鲁·怀尔斯。另一篇短文“某些赫克代数的环理论性质”作者理查德·泰勒和安德鲁·怀尔斯。至此费马大定理得证。
123
1993年6月，在英国剑桥大学的一场数学会议上，安德鲁·怀尔斯（Andrew Wiles）做了一系列报告，标题晦涩难懂——“模形式、椭圆曲线、伽罗瓦表示”（Modular Forms， Elliptic Curves， and Galois Representations）。他的论证过程冗长且技巧性很强，到第三次演讲进行20分钟后才进入尾声。为了强调所得结果，他在最后打上了：
=>FLT
Fermat's Last Theorem，费马大定理，是数学史上的著名猜想，由 17 世纪法国律师兼业余数学家皮耶·德·费马（Pierre de Fermat）提出，但经过350年仍然没有完备的证明。普林斯顿大学的教授怀尔斯躲在家中的阁楼里，默默研究这个古老难题整整七年。现在，他要在会场公布自己的证明。
注：模形式（modular form）是一种解析函数，这种函数的只接受来自复数平面内上半平面中的值，并且这种函数在一个在模型群的群运算之下，会变成某种类型的函数方程，并且通过函数计算出的值也会呈现出某个增长趋势。模形式理论属于数论的范畴。模形式也出现在其他领域，例如代数拓扑和弦理论。
伽罗瓦群：在数学中，特别是抽象代数理论中，由法国数学家埃瓦里斯特·伽罗瓦（évariste Galois）得名的伽罗瓦理论提供了域论和群论之间的联系。应用伽罗瓦理论，域论中的一些问题可以化简为更简单易懂的群论问题。
这番讲话令在座的人，乃至全世界震惊。第二天这件事就登上了《纽约时报》的头版。怀尔斯一时间名声大振。服装零售商Gap邀请怀尔斯参与设计一款新的牛仔裤，但最终被他拒绝。他被《人物》评为“年度最有魅力的25位人物”之一，在列的还有戴安娜王妃、迈克尔·杰克逊和比尔·克林顿。著名撰稿人Barbara Walters联系他进行访问，而怀尔斯回复道：“Barbara Walters是谁？”
但庆祝并没有持续多久。一个证明被提出之后，必须经过仔细的检查和验证才可能被承认。怀尔斯向世界顶级数学期刊Inventiones Mathematicae提交了长达200页的证明。该期刊的编辑随后将这份手稿分发给6位审稿人，其中一位是普林斯顿大学的数学家Nick Katz。
Katz和他的法国同事Luc Illusie一起，花了两个月时间，仔细检查了所负责部分的每个逻辑环节。每当他们会遇到一些无法理解的论证时，Katz便会给怀尔斯发邮件，而怀尔斯会回复澄清问题。但到了8月底，怀尔斯对一个问题的解释并不能说服两位审稿人。在进一步研究后，怀尔斯明白Katz找到了论文数学逻辑框架中的一个缺陷。起初，简单的修复看似可行。但当怀尔斯着手修复缺陷时，逻辑框架的碎片开始脱落。
怀尔斯意识到，这不只是一个浅显简单的失误，它甚至可能超出一个可修复缺陷的范畴，这时他变得愈发惶恐。如果它是一道裂缝，一个无法修补的缺陷，那将使得整个大定理的证明崩塌殆尽。
数学史上的黯淡的一页
费马大定理具有不可思议的简洁性，它由费马于1637年提出。当时他正在阅读古希腊数学家丢番图（Diophantus）编纂的《算术》（Arithmetica）。书中有关于毕达哥拉斯定理（勾股定理）的讨论。如我们所学，直角三角形斜边长的平方是两直角边的平方和。用数学形式可以表示为x2 + y2 = z2，其中x、y、z分别是三角形中两条直角边和斜边长。
丢番图找到了一些满足条件的正整数解，将其命名为“勾股数组”，并且证明了存在无穷多对勾股数组（严格来说，存在无穷多个三个数互质的素勾股数组）。最简单的例子是直角三角形的（3， 4， 5），还有（5，12，13）和（145，408，433）。
费马接着发问：能否在高维下找到类似的数组呢？或者说，形如 a3 + b3 = c3的方程有没有正整数解？那么 a4 + b4 = c4 呢？a10，007+ b10，007 = c10，007呢？费马的答案是不能。将一个高于二次的幂分成两个同次幂之和，不存在满足条件的a，b，c。费马在《算术》的页边写下名句：“关于此，我确信我发现了一种美妙的证法，可惜这里的空白处太小，写不下。”
他似乎也从没在别处详细阐述过。费马去世后，他的儿子Samuel出版了一本新版《算术》，里面囊括了他老爹在页边空白处所做的所有笔记。笔记中的数学命题，往往没写下证明过程，留下了一个极为诱人的挑战。几年内，读者几乎证明出了所有命题，除了那个关于高维勾股数组的命题，那是“最后一个”未能被证明的命题（费马大定理也称作“费马最后的定理”）。
几个世纪以来，费马大定理成了科学家、业余爱好者和“民科”们追逐的对象，每次看似靠近却发现没有出路。（数学王子高斯是早期少数抵制其魅力的数学家之一，他驳斥其为“一个孤立的命题，让我没有什么兴趣”。）法国科学院为它设立了数目可观的赏金。但即使最优秀的数学家在费马大定理上取得的进展也很有限。费马在笔记中给出了n=4时的定理证明。数学家之后也证出大定理对n<100以及相应的n的倍数都是成立的，但是对所有n，他们既无法证明，也无法证伪。
不过，他们的探索带来了别的收获。从失败的废墟中，诞生出开辟广阔数学新领域的深层理论。1847年，法国数学家奥古斯丁·路易·柯西（Augustin Louis Cauchy）和他的竞争对手Gabriel Lamé都相信自己借助包含虚数的复数系证明了费马大定理。典型的虚数形式是bi，其中i =√(-1)；b是实数。一个复数写作a+bi，具有一个实部a和一个虚部bi。
柯西和 Lamé的证明都基于一个被普遍认为正确的猜想：复数和实数一样，可以被分解成唯一一组质数对。比如6=2×3，除了更改顺序分解成3×2，不会有别的结果。但令两人感到尴尬的是，他们同时代的德国数学家Ernst Kummer证明某些复数可以有多种方式的质因数分解。比如6 + 0i，可以分解成2 x (√2 + i) x (√2 – i)或者(1 +√5i) x (1 –√5i)。
为了修复复数的唯一质因数分解性质，Kummer创造了一个新的代数概念——理想（ideal），这对后世抽象代数的发展有着重要作用。美国代数学家Leonard Eugene Dickson在20世纪初写道，Kummer的创造是“上世纪最重要的科学成就之一”。
但费马大定理的证明停滞在这里。19世纪中后期，大多数主流数学家跟从高斯的选择，搁置了费马大定理的证明工作。他们已经穷尽了所有可能的方法，提不出新的解决思路。尝试证明大定理或是推翻它，都是时间和精力上的巨大冒险。一个大有可为的数学家可能穷尽一生，苦思冥想，最后思维枯竭却拿不出和努力相当的成果。
切入口——谷山-志村猜想
怀尔斯在10岁时第一次接触到费马大定理。像许多拥有数学梦的孩子一样，他幻想着能够解决它。但是在剑桥攻读博士期间，怀尔斯听从导师的建议，选择避开那条可能的死胡同。另一方面，他转而学习在密码学中非常有用的椭圆曲线。椭圆曲线的图看起来就像甜甜圈的表面。
在怀尔斯到普林斯顿大学数学系任教之后，1986年加州大学伯克利分校的数论家Ken Ribet提出了一个意想不到的思路，这对费马大定理的证明具有深远的意义。此前30年，东京大学两位年轻学者谷山丰（Utaka Taniyama）和志村五郎（Goro Shimur）提出了“谷山-志村猜想”，建立起椭圆曲线（代数几何的对象）和模形式（数论中用到的某种周期性全纯函数）之间的重要联系。
模形式是数论中常用的工具，其存在于四维双曲空间（一种弯曲的空间）中，具有惊人的对称性。就像正方形绕中心旋转四分之一圈可以和自身重合；同样，一个模形式经过旋转、反射或者其他变换后，还是能与自身重合。另一方面，椭圆曲线本身就是一种代数结构。当你在复平面中画出满足 y2 = x3 + Ax + B （A 和B 是常数）的图像，就能得到椭圆曲线。
谷山和志村提出了一个大胆而激进的想法：模形式是椭圆曲线的另一种形式。如果他们是对的，那么至今所有有关模形式的研究成果都可以用椭圆曲线的语言表示出来，反过来也一样。证明这个猜想将是统一数学不同分支的关键。
这或许是证明或证伪费马大定理的突破口。20世纪70年代，法国一位名叫Yves Hellegouarch的在读博士生证明，如果费马大定理是错误的，即能找到方程an + bn = cn （n>2）的一组整数解（a，b，c），那么就可以得到满足y2 = x(x – an)(x + bn)条件的椭圆曲线。十年后，德国数学家Gerhard Frey 进一步指出，只有谷山-志村猜想错误的情况下，上述椭圆曲线才会存在。或者说得更直接些：谷山-志村猜想一旦成立，那么费马大定理必将成立。
Ribet证明了Frey的猜想是正确的。这让怀尔斯倍受鼓舞，现在他可以重拾小时候证明费马大定理的梦想而不必背离当下主流的数学研究了。他躲进家中的顶楼，决心证明谷山-志村猜想。
到1993年12月，距剑桥演讲已经过去了6个月，怀尔斯几乎没有告诉任何人，这个数学界等待了几个世纪的证明在他身后摇摇欲坠。只有论文的审稿人和他的密友知道证明存在缺陷。而怀尔斯根本没有证明费马大定理的流言开始传开，数学家们要求他公开论文原稿。如果存在错误，同行们寄希望于某个人能魔术般地看清并修复这些缺陷。
但怀尔斯不准备让他人轻易攫取这份荣誉。他又重回阁楼，重回到一种孤独的状态，甚至一直担任怀尔斯非官方新闻联络人的Ribet也无法联系到他。普林斯顿的数学教授、怀尔斯的朋友Peter Sarnak说：“不知怎么的，人们的想法是‘你要证明费马大定理，如果不证明出来，你就有麻烦了。’”
Sarnak劝说怀尔斯去找个合作者一起修复这个缺陷，即使仅仅“能让他的想法从过于熟悉的人身上脱离开去。”怀尔斯电话邀请了他以前的学生Richard Taylor。Taylor当时已经是剑桥大学著名的数论学家。起初，他们尝试了Taylor所说的“局部化处理”：对怀尔斯不完备证明中使用的方法进行小的改良，从而修正错误。
但这却于事无补。Taylor回忆说，接着他们决定“扩大范围，撒张更大的网，来找寻其他的方法”。整个春季再到夏季，他们一直在工作，甚至常常在深夜里通过电话长时间讨论。Taylor说：“我从来没有收到过如此昂贵的电话账单。”
但是到1994年9月，他们的努力仍然没有任何进展。在准备向世界承认失败的前一刻，怀尔斯决定“最后一次检查”最初的方法结构，试图确切地找出它不能奏效的原因。在BBC的记录片The Proof中，他讲述了接下来的故事。“突然间，完全出乎意料，我有了一个难以置信的发现。”在曾经失败的技术的余烬中，恰恰有用来证明另一个猜想的工具。那个工具就是“岩泽理论”（Iwasawa theory）。他在三年前放弃了这种方法，但现在他能用它彻底地弥补缺陷，从而证明了费马大定理。“它美得无法形容，它是那么简洁而优雅。我呆望着它，难以置信。”
凭借着这一理论，怀尔斯和Taylor很快就在几个星期内修复了论文中的漏洞。1995年5月，他们在国际顶尖期刊《数学年刊》（Annals of Mathematics）上发布了集合所有工作的两篇论文。最终的证明和附带的讨论长达130页。
这是不是费马没有写下的证明呢？也就是那个因为《算术》页边太窄而写不下的“美妙的证法”？唯一合理的答案是“NO”。为了证明费马大定理，怀尔斯使用了最新的数学工具和思想，它们的诞生远远晚于费马的时代。大多数数学家认为费马的定理是在错误中总结的。如果他确信自己知道证明方法，很有可能只是迷惑了自己。
但重要的不是费马个人的对和错。古希腊人点燃了数论领域的源，而费马的一次误导性的吹嘘，把奄奄一息的火焰煽成了数学的一个主要分支。他不完美的天才留给我们的数学遗产远远比给他如何得出猜想的琐碎小事更为重要。
而对怀尔斯来说，所幸他的失误只是一个可以弥补的小缺陷。
