想要证明这个猜想，需要大量的计算，之后的人们一直想证明它，但都失败了。直到计算机的出现，才帮助人们将这个n扩大到小于25000，但这也不足以证明这个猜想是成立的。

因为想要证明一个定理的成立，需要严密的逻辑推理，而不是一个一个的列举，因为这个n是无穷大的，你不可能列举完所有的数字。

直到一个叫怀尔斯的英国人，用了近10年时间才把费马大定理证明出来，其实这时候，费马大定理才是真正的费马大定理。

怀尔斯自小就对费马大定理感兴趣，只是后来研究的方向是椭圆曲线，他在后来的学术研究中得知，椭圆曲线的一个著名猜想，叫谷山－志村猜想。

这个谷山－志村猜想一听就知道是两个日本人弄出来的。它跟费马猜想有密切的关系，只要证明了这个谷山－志村猜想，也就相当于证明了费马猜想。

长期以来，数学研究的一些领域都是一个个孤立的小岛，相互没有联系的，这个谷山－志村猜想就是打通这些孤立小岛的一座桥梁，在椭圆曲线和模形式之间建立联系。

过去很长一段时间，数学是分科的，像初中的时候数学分成几何和代数，但是现在好像又合在一起了。

怀尔斯为了证明谷山－志村猜想，可谓是处心积虑，偷摸地躲在自家阁楼上搞研究，只有他老婆知道他在搞这个，为了避免被人发现，每半年时间就发表一篇小论文，以此来掩人耳目。

终于在7年之后，他完成了费马大定理的证明，结果一公布便轰动于世，可惜在最后复盘的时候发现一个小问题，其他人希望他将全部手稿公之于众，但被他拒绝。

他又偷摸地自己一个人弄了一年多，在想要放弃的时候突然峰回路转，鬼使神差地将这个小问题完美地解决掉，最终证明了费马大定理，让他独享了这个荣誉。

有人问，费马大定理到底有什么用？费了老鼻子劲，用了358年才将它证明出来。

数学问题都是烧脑的理论问题，是人类对极限、未知、真理、宇宙的无尽探求，是造福子孙、功在后世的一件好事。

一件东西的衡量标准不能简单地用眼前的有用无用去判别。就像怀尔斯在证明费马猜想的过程中，顺便创造了很多有用的数学技术，极大推动了数学的发展进步。