ｐ＝７是法國數學家拉梅在１８３９年證明的。
這樣對每個奇素數ｐ逐一進行處理，難度越來越大，而且不能對所有的ｐ解決費爾馬大定理。有沒有一種方法可以對所有的ｐ或者至少對一批ｐ，證明費爾馬大定理成立呢？德國數學家庫麥爾創立了一種新方法，用新的深刻的觀點來看費爾馬大定理，給一般情況的解決帶來了希望。
庫麥爾利用理想理論，證明了對於ｐ＜１００費爾馬大定理成立。巴黎科學院為了表彰他的功績，在１８５７年給他獎金３０００法郎。
庫麥爾發現伯努列數與費爾馬大定理有重要聯係，他引進了正規素數的概念：如果素數ｐ不整除Ｂ２，Ｂ４……，Ｂｐ－３的分母，ｐ就稱為正規素數，如果ｐ整除Ｂ２，Ｂ４……，Ｂｐ－３中某一個的分母就稱為非正規素數。例如５是正規數，因為Ｂ２的分母是６而５６。７也是正規素數，因為Ｂ２的分母是６，Ｂ４的分母是３０，而７６，７３０。
１８５０年，庫麥爾證明了費爾馬大定理對正規素數成立，這一下子證明了對一大批素數ｐ，費爾馬大定理成立。他發現在１００以內隻有３７、５９、６７是非正規素數，在對這三個數進行特別處理後，他證明了對於ｐ＜１００，費爾馬大定理成立。
正規素數到底有多少？庫麥爾猜測有無限個，但這一猜測一直未能證明。有趣的是，１９５３年，卡利茨證明了非正規素數的個數是無限的。
近年來，對費爾馬大定理的研究取得了重大進展。１９８３年，西德的伐爾廷斯證明了“代數數域Ｋ上的（非退化的）曲線Ｆ（ｘ，ｙ）＝０，在出格ｇ＞１時，至多有有限多個Ｋ點。”
作為它的特殊情況，有理數域Ｑ上的曲線
ｘｎ＋ｙｎ－１＝０（５）
在虧格ｇ＞１時，至多有有限多個有理點。
這裏虧格ｇ是一個幾何量，對於曲線（５），ｇ可用
g=（n-1）(n-2)2
來計算，由（６）可知在ｎ＞３時，（５）的虧格大於１，因而至多有有限多個有理點（ｘ，ｙ）滿足（５）。
方程
ｘｎ＋ｙｎ＝２ｎ
可以化成
x2n+y4n-1=0
改記x2,y2為（ｘ，ｙ），則（７）就變成（５）。因此由（５）隻有有限多個有理數解ｘ、ｙ，立即得出（１）隻有有限多個正整數解ｘ、ｙ、ｚ，但這裏把ｘ、ｙ、ｚ與ｋｘ、ｋｙ、ｋｚ（ｋ為正整數）算作同一組解。
因此，即使費爾馬大定理對某個ｎ不成立，方程（７）有正整數解，但解也至多有有限組。
１９８４年，艾德勒曼與希思布朗證明了第一種情況的費爾馬大定理對無限多個ｐ成立。他們的工作利用了福夫雷的一個重要結果：有無窮多個對素數ｐ與ｑ，滿足ｑ｜ｐ－１及ｑ＞ｐ２／３個。而福夫雷的結果又建立在對克路斯特曼的一個新的估計上，後者引起了不少數論問題的突破。
現在還不能肯定費爾馬大定理一定正確，盡管經過幾個世紀的努力。瓦格斯塔夫在１９７７年證明了對於ｐ＜１２５０００，大定理成立。最近，羅寒進一步證明了對於ｐ＜４１００萬，大定理成立。但是，費爾馬大定理仍然是個猜測。如果誰能舉出一個反例，大定理就被推翻了。不過反例是很難舉的。
18.五家共井
我國最早提出不定方程問題，它由“五家共井”引起。古代，沒有自來水，幾家合用一個水井是常見的事。《九章算術》一書第８章第１３題就是“五家共井”問題：
今有五家共井，甲二綆不足，如乙一綆；乙三綆不足，如丙一綆；丙四綆不足，如丁一綆；丁五綆不足，如戊一綆；戊六綆不足，如甲一綆。如各得所不足一綆，皆逮。問井深、綆長各幾何!
用水桶到井中取水，當然少不了繩索，“綆”就是指“繩索”。原題的意思是：
五家共用一水井。井深比２條甲家繩長還多１條乙家繩長；比３條乙家繩長還多１條丙家繩長；比４條丙家繩長還多１條丁家繩長；比５條丁家繩長還多１條戊家繩長；比６條戊家繩長還多１條甲家繩長。如果各家都增加所差的另一條取水繩索，剛剛好取水。試問井深、取水繩長各多少？
雖然該問題是虛構的，它是最早的一個不定方程問題。
用現代符號，可設甲、乙、丙、丁、戊各家繩索長分別為ｘ、ｙ、ｚ、ｕ、ｖ；並深為ｈ。根據題意，可得
2x+y=h，3y+z=h，4z+u=h，5u+v=h，6v+x=h。
這是一個含有６個未知數、５個方程的方程組。未知數的個數多於方程個數的方程（或方程組）叫不定方程。用加減消元法可得
x=265721h，y=191721h，z=148721h，
u=129721h，v=76721h。
給定ｈ不同的數值，就可得到ｘ、ｙ、ｚ、ｕ、ｖ的各個不同的數值。隻要再給定一些特定條件，就可得到確定的組解。原書中隻給出一組解，是最小正整數解。
我國古代數學家在《九章算術》的基礎上，對不定方程作出了輝煌的成績。“五家共井”問題是後來百雞術及大衍求一術的先聲。
“五家共井”問題，曾引起世界上很多數學家的注視。在西方數學史書中，把最早研究不定方程的功績歸於希臘丟番都。其實，他在公元２５０年左右才研究這些問題，要比我國遲２００多年。
公元６世紀上半期，張丘建在他的《張丘建算經》中有一個百雞問題：今有雞翁一，值錢五；雞母一，值錢三；雞雛生，值錢一。凡百錢，買雞百隻。問雞翁、母、雛各幾何？
意思是，如果１隻公雞值５個錢；１隻母雞值３個錢；３隻小雞值１個錢。現用１００個錢，買了１００隻雞。問公雞、母雞、小雞各多少？
設公雞、母雞、小雞分別為ｘ、ｙ、ｚ隻，則可得不定方程消去ｚ不難得出
5x+3y+13z=100x+y+z=100
消去ｚ不難得出
y=7x4
因為ｙ是正整數，所以ｘ必須是４的倍數。
設ｘ＝４ｔ，則ｙ＝２５－７ｔ，ｚ＝７５＋３ｔ
∵ｘ＞０，∴４ｔ＞０，ｔ＞０；
又∵ｙ＞０，∴２５－７ｔ＞０，ｔ＜347
故ｔ＝１，２，３。
∴原方程組有三組答案：
{ｘ＝４，ｙ＝１８，ｚ＝７８{ｘ＝８，ｙ＝１１，ｚ＝８１{ｘ＝１２，ｙ＝４，ｚ＝８４
數學史家評論說，一道應用題有多組答案，是數學史上從未見到過的，百雞問題開了先例。《張丘建算經》中沒有給出解法，隻說：“術曰：雞翁每增四，雞母每減七，雞雛每益三，即得。”意思是：如果少買７隻母雞，就可多買４隻公雞和３隻小雞。因為７隻母雞值錢２１，４隻公雞值錢２０，兩者相差３隻小雞的價格。隻要得出一組答案，就可推出其餘兩組。但這解法怎麼來的？書中沒有說明。因此，所謂“百雞術”即百雞問題的解法就引起人們的極大興趣。