费马大定理，也被称为费马最后定理，是由17世纪法国数学家皮耶·德·费马提出的。费马在阅读丢番图的《算术》时，在书的边注中写道：“我发现了一个真正美妙的证明此定理，但这边太窄，写不下。”
费马大定理的证明经历了数百年的时间，许多数学家都为此做出了贡献。1994年，英国数学家安德鲁·怀尔斯宣布自己证明了费马大定理。他的证明建立在模形式和椭圆曲线之间的深刻联系（即谷山 - 志村猜想的一部分）之上，整个证明过程非常复杂。1995年，怀尔斯和他的学生理查德·泰勒将证明过程发表在《数学年刊》（Annals of Mathematics）第141卷上，正式宣告费马大定理得证。