现代数论的创始人、法国大数学家费尔马（1601-1665年），对不定方程极感兴趣，他在丢番图的《算术》这本书上写了不少注记。在第二卷问题8“给出一个平方数，把它表示为两个平方数的和”的那一页的空白处，他写道：“另一方面，一个立方不可能写成两个立方的和，一个四方不可能写成两个四方的和。一般地，每个大于2的幂不可能写成两个同次幂的和。”
换句话说，在n＞2时，
xn+yn=zn（1）
没有正整数。这就是举世闻名的费尔马大定理。
“关于这个命题”费尔马说，“我有一个奇妙的证明，但这里的空白太小了，写不下。”
人们始终未能找到费尔马的“证明”。很多数学家想攻克这座城堡，但至今未能攻克。所以，费尔马大定理实际上是费尔马大猜测。人们在费尔马的书信与手稿中，只找到了关于方程x4+y4=z4（2）无正整数解的证明，恐怕他真正证明的“大定理”也就是这n=4的特殊情况。
既然（2）无正整数解，那么方程
x4k+y4k=z4k（3）
无解，如果（3）有解，即有正整xo，yo，zo，使xo4k，yo4k=zo4k（4）那么（xok）+（yok）4=（zok）4k这与（2）无解矛盾！
同理，我们只要证明对于奇素数P，不定方程
xp+yp=zp（5）
无正整数解，那么费尔马大定理成立（因为每个整数n＞2，或者被4整除，或者有一个奇素数P是它的因数）。
（4）的证明十分困难。在费尔马逝世以后近多年，瑞士数学家欧拉迈出了第一步。他在1753年8月4日给哥德巴赫的信中宣称他证明了在p=3时，（4）无解。但他发现对p=3的证明与对n=4的证明截然不同。他认为一般的证明即证明（4）对所有的素数p无正整数解是十分遥远的。
一位化名勒布朗的女数学家索菲·吉尔曼（1776-1831年）为解费尔马大定理迈出了第二步。她的定理是：
如果不定方程
x5+y5=z5有解，那么5|xyz。
人们习惯把方程（4）的讨论分成两种情况。即：如果方程xp+yp=zp无满足p|xyz的解，就说对于p，第一种情况的费尔马大定理成立。
因此，吉尔曼证明了p=5，第一种情况的费尔马大定理成立。更一般地，她还证明了：如果p与2p+1都是奇素数，那么第一种情况的费尔马大定理成立。她还进一步证明了对于≤100的奇素数p，第一种情况的费尔马大定理成立。
攻克p=5的荣誉由两位数学家分享，一位是刚满20岁，初出茅庐的德国数学家狄利克雷，另一位是年逾70已享盛名的勒仕德。他们分别在1825年9月和11月完成了这个证明。
p=7是法国数学家拉梅在1839年证明的。
这样对每个奇素数p逐一进行处理，难度越来越大，而且不能对所有的p解决费尔马大定理。有没有一种方法可以对所有的P或者至少对一批P，证明费尔马大定理成立呢？德国数学家库麦尔创立了一种新方法，用新的深刻的观点来看费尔马大定理，给一般情况的解决带来了希望。
库麦尔利用理想理论，证明了对于P＜100费尔马大定理成立。
库麦尔发现伯努列数与费尔马大定理有重要联系，他引进了正规素数的概念：如果素数p不整除B2，B4……Bp-3的分母，p就称为正规素数，如果p整除B2，B4……Bp-3中某一个的分母就称为非正规素数，例如5和7都是正规数。
1850年，库麦尔证明了费尔马大定理对正规素数成立，这是一个很大的成就，一下子证明了对一大批素数P，费尔马大定理成立。他发现在100以内只有37、59、67是非正规素数，在对这3个数进行特别处理后，他证明了对于p＜100，费尔马大定理成立。
正规素数到底有多少？库麦尔猜测有无限个，但这一猜测一直未能证明。有趣的是，1953年卡利茨证明了非正规素数的个数是无限的。
近年来，对费尔马大定理的研究取得了重大进展。1993年，西德的代尔廷斯证明了代数数域K上的（非退化的）曲线F（x，y）=0，在出格g＞1时，至多有有限多个K点。
作为它的特殊情况，有理数域Q上的曲线
xn+yn-1=0（6）
在亏格g＞1时，至多有有限多个有理点。
这里亏格g是一个几何量，对于曲线（6），g可用g=（n-1）（n-2）2（7）来计算，由（7）可知在n>3时，（6）的亏格大于3，因而至多有有限多个有理点（x，y）满足（6）。
方程
xn+yn=2n可以化成
（xn2）+y2n-1=0（8）改记（x2，y2）为（x，y），则（8）就变成（6）。因此由（6）只有有限多个有理数解x、y，立即得出（1）只有有限多个正整数解x、y、z，但这里把x、y、z与kx、by、kZ（k为正整数）算作同一组解。
因此，即使费尔马大定理对某个n不成立，方程（8）有正整数解，但解也至多有有限组。
现在还不能肯定费尔马大定理一定正确，尽管经过几个世纪的努力。瓦格斯塔夫在1977年证明了对于p＜125000，大定理成立。最近，罗寒进一步证明了对于p＜4100万，大定理成立。但是，费尔马大定理仍然是个猜测。如果谁能举出一个反倒，大定理就被推翻了。不过反例是很难举的。
