フェルマーの最終定理
フェルマーの最終定理（フェルマーのさいしゅうていり、Fermat's Last Theorem）とは、3 以上の自然数 n について、xⁿ + yⁿ = zⁿ となる自然数の組 (x, y, z) は存在しない、という定理のことである。フェルマーの大定理とも呼ばれる。ピエール・ド・フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、フェルマーの死後360年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった。
個別研究の時代
n が具体的な値を取るいくつかの場合についてはさまざまな証明が与えられた。
n = 3：オイラー
オイラーは1753年にクリスティアン・ゴールドバッハへ宛てた書簡の中で n = 3 の場合の証明法について言及し、1760年に純初等的で完全な証明を得た。さらに、1770年に刊行した著書『代数学』（Vollständige Anleitung zur Algebra）ではその証明とは異なり（複素数を用いる）エレガントながら不完全な証明を公開した。ただし、この2番目の証明は虚数のレベル、具体的には a+b√−3 の形の数まで因数分解を行ったもので、現代の言葉で言えば、整数環  で因数分解を行うものであったが、この整数環では素因数分解の一意性が成立しない（一意分解環ではない）という不備があったので、のちに  √−3 の代わりに 1の原始3乗根  を付加した整数環  （これは円分体  の整数環でもあり、素因数分解の一意性が成り立つ）を使うことで修正された。
n = 14 ：ディリクレおよび 7 ：ラメ、ルベーグ
1832年にディリクレは n = 14 の場合を証明したが、上述の通り n が素数である場合の方が肝要なので、これは n = 7 の場合を証明するための途中経過であった。しかし実際に n = 7 の場合を証明したのはガブリエル・ラメ（1839年）と、ラメの証明に含まれていた誤りを訂正したヴィクトル＝アメデ・ルベーグ（1840年）であった。
1847年、ラメは「フェルマー予想の一般的解法を発見した」と発表し、同じ解法を自分の方が先に発見していたと主張するオーギュスタン＝ルイ・コーシーとの間で論争にまでなった。しかしこの解法とは xⁿ + yⁿ = zⁿ の左辺を複素数で素因子分解するというものであり、この分解は一意的なものでないためこの問題に関する解法たりえていないことが指摘される。
また、n = 7 の場合についてのラメの証明があまりにも複雑なものだったため、同様の手法で n = 11 や 13 の場合について研究してみようと思う者はいなくなり、個別研究の時代は終わる。
クンマーの理想数
コーシーとラメが争っていたのと同じ頃、エルンスト・クンマーが自ら打ち立てた理想数の理論（後にリヒャルト・デーデキントがイデアルの理論として発展させる）を導入する。これにより、多くの素数において一意的な因数分解が可能となり、n が正則素数である（もしくは正則素数で割り切れる）全ての場合については証明がなされた。虚数レベルでの一意的な因数分解が不可能な非正則素数も無限に存在するが、クンマーは 100 以下の非正則素数（37, 59, 67 の 3 個しかない）についてはそれぞれ個別に研究して解決した。その結果、100 までの全ての奇素数 n について（当然 100 以下の奇素数を約数に持つ全ての n についても）フェルマー予想が成り立つことが証明され、それまでの個別研究からこの問題は大きく飛躍した。
1857年、フランス科学アカデミーは、1816年に設けたまま受賞者の出なかった「フェルマー予想の証明者」のための懸賞金を（最終的解決でないことを承知の上で）クンマーに与えた。1874年、クンマーは 101 から 163 までの指数について計算を実行し、新たに 101, 103, 131, 149, 157 の 5 個が非正則素数であることを示した。
モジュラー形式
アンリ・ポアンカレは複素平面上の関数についての研究から、保型形式およびそのアイディアをさらに展開したモジュラー形式を案出する。
モーデル予想
ゲルト・ファルティングスによるモーデル予想の解決（1983年）により、フェルマー方程式 xⁿ + yⁿ = zⁿ が整数解をもつならば（つまりフェルマー予想が誤りならば）その解の個数は本質的に有限個しかないことが証明される。この「有限個」が「実は 0 個」であることが示されればフェルマー予想は証明できたことになるが、この方向からの絞り込みには行き詰まりが指摘されていた。ともあれ、この時点でフェルマー予想が「ほとんど全ての場合について正しい」ことが判明したと言うことはできた。
谷山–志村予想
1955年9月、日光で開催された整数論に関する国際会議で、谷山豊が提出した幾つかの「問題」を原型とする数学の予想が谷山・志村予想である。そこでは楕円曲線とモジュラー形式の間の深い関係が示唆されており、後に志村五郎によって定式化された。「すべての楕円曲線はモジュラーである」という、発表当時は注目を引かなかったこの谷山–志村予想（今となっては証明されているが）が、のちにフェルマー予想の証明に大きな役割を果たすこととなる。
実はこの前年の1954年、ある保型形式に関するラマヌジャン予想の一部をマルティン・アイヒラーが証明していた。そこでは「解析的ゼータ＝代数的ゼータ」が示されており、谷山・志村予想の最初の実例と呼べるものだった。
このラマヌジャン予想→谷山–志村予想→ラングランズ予想→超ラングランズ予想という一連の流れ（ゼータの統一）は数論の中心的テーマの一つとなっている。
最終的解決
プリンストン大学にいたイギリス生まれの数学者アンドリュー・ワイルズは岩澤主予想 (Iwasawa main conjecture) を解決するなどして、元々数論の研究者として有名な人物であった。彼は10歳当時に触れたフェルマー予想に憧れて数学者となったが、プロとなってからは子供時代の夢は封印し、フェルマー予想のような孤立した骨董品ではなく主流数学の研究に勤しんでいた。ところが1986年、ケン・リベットがフライ・セール予想を解決したことにより、フェルマー予想に挑むことは、主流数学の一大予想に挑むことと同義になってしまった。かつての憧れだったものが、今や骨董品どころか解かずには済まされない中心課題の一つになったのである。ワイルズはこのことに強い衝撃を受け発奮、正にフェルマー予想の解決を目的として、他の研究を全て止めて谷山–志村予想に取り組むこととなった。ただしこの際、彼は人々の耳目を集め過ぎることを懸念して、表面的には未発表の研究成果を小出しにすることで偽装し、谷山・志村予想の研究は秘密裏に遂行することとした。
ワイルズは、代数幾何学（特に楕円曲線と群スキーム）や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みたが、類数公式の導出に当たり岩澤理論を用いる方向では行き詰まってしまった。そこでコリヴァギン＝フラッハ法（ヴィクター・コリヴァギンとマティアス・フラッハの方法）に基づくよう方針転換し、最後のレビュー段階でプリンストンの同僚ニック・カッツの助けを得るまで、細部に至るまでの証明を完璧な秘密のうちにほぼすべて独力で成し遂げた（ここまでで7年が経過していた）。彼がケンブリッジ大学で1993年の6月21日から23日にかけて3つの講義からなるコースで証明を発表したとき、聴衆は証明に使われた数々の発想と構成に驚愕した。
ただし、その後の査読において、ワイルズの証明には1箇所致命的な誤りがあることが判明した。この修正は難航したが、ワイルズは彼の教え子リチャード・テイラーの助けを借りつつ、約1年後の1994年9月、障害を回避することに成功した。ワイルズ自身、その時の瞬間を「研究を始めて以来、最も大事な一瞬」と語っている。1994年10月に新しい証明を発表。1995年のAnnals of Mathematics誌において出版し、その証明は、1995年2月13日に誤りがないことが確認され、360年に渡る歴史に決着を付けた。