安德鲁·怀尔斯（Andrew Wiles）通过证明谷山-志村猜想的半稳定情形，成功解决了困扰数学界358年的费马大定理。这不仅是一个方程的解，更是现代数学两大分支——椭圆曲线与模形式——之间深刻联系的完美体现。
费马大定理（Fermat's Last Theorem）由法国数学家皮埃尔·德·费马于1637年提出。他在阅读希腊文版《算术》时，在页边空白处写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。”简而言之，对于整数 ，方程 没有正整数解。
费马声称他找到了一个“真正奇妙的证明”，但页边太小写不下。然而，直到1993年，这一断言才被证实，而费马本人很可能并未拥有完整的证明方法。在随后的三个世纪里，无数数学家试图攻克这一堡垒，从欧拉到高斯，从勒让德到库默尔，每一步进展都为最终的突破奠定了基础。
直到20世纪80年代，一个关键的转折点出现了。德国数学家格哈德·弗雷（Gerhard Frey）提出，如果费马大定理不成立，那么对应的解可以构造出一条特殊的椭圆曲线，这条曲线将具有异常的性质，以至于它不可能存在于数学世界中。这一猜想后来被肯·里贝特（Ken Ribet）严格证明，他将费马大定理与谷山-志村猜想（Taniyama-Shimura Conjecture）联系了起来。
怀尔斯并没有直接去解费马方程，而是采取了一种迂回的战略。他意识到，如果能证明谷山-志村猜想对一类特定的椭圆曲线（半稳定椭圆曲线）成立，那么费马大定理就自然得证。以下是证明的核心步骤：
假设费马大定理不成立，即存在整数 () 使得 。弗雷构造了一条曲线 ，称为弗雷曲线。
里贝特证明了这条弗雷曲线不可能是模形式（modular form）。而谷山-志村猜想声称所有有理数域上的椭圆曲线都是模的。因此，如果谷山-志村猜想成立，弗雷曲线就不存在，从而费马大定理成立。怀尔斯的目标变成了证明半稳定椭圆曲线的谷山-志村猜想。
怀尔斯将问题转化为证明一个关于海克代数（Hecke Algebra）和伽罗瓦群（Galois Group）之间关系的同构问题。他引入了伊塔卡猜想（Ihara's Lemma）作为关键工具。
他证明了如果某个伽罗瓦表示是模的，那么它必须满足特定的局部条件。通过构建一个“上同调类”，他试图证明这个类必须为零，从而确立模性。这一步骤涉及极其复杂的代数几何和数论工具。
1993年6月，怀尔斯在剑桥大学宣布证明完成。然而，审稿人尼克·凯茨（Nicholas Katz）发现了一个关于伊塔卡猜想的漏洞。怀尔斯花费了将近一年时间尝试修复，但未能成功。
在绝望之际，怀尔斯与他的前学生理查德·泰勒（Richard Taylor）合作，放弃了伊塔卡猜想，转而使用一种称为“泰勒-怀尔斯升级”（Taylor-Wiles R=T proof）的新方法。他们通过引入额外的伽罗瓦表示（称为泰勒-怀尔斯素数）来绕过漏洞，最终在1995年完成了完整证明，并发表在《数学年刊》上。
要深入理解怀尔斯怎么证明的费马大定理，需要掌握以下几个核心概念。这些概念构成了现代数论的基石：
形如 的光滑代数曲线。它们在数论中扮演核心角色，因为它们的有理点结构非常复杂，且与模形式有深刻联系。
定义在复平面上上半平面的复变函数，具有高度的对称性。模形式是解析数论中的重要对象，怀尔斯证明的核心就是建立椭圆曲线与模形式的对应。
猜想指出：每条定义在有理数域上的椭圆曲线都是模的。这是连接代数几何与解析数论的桥梁，也是怀尔斯证明的直接目标。
将伽罗瓦群作用在椭圆曲线的 torsion 点上，形成线性表示。怀尔斯通过研究这些表示的性质，来推断椭圆曲线的模性。
皮埃尔·德·费马在《算术》页边写下著名的注释，提出费马大定理。
格哈德·弗雷提出，如果费马大定理不成立，则存在一条非模的椭圆曲线。
肯·里贝特证明了弗雷的猜想，将费马大定理与谷山-志村猜想联系起来。
安德鲁·怀尔斯在普林斯顿大学独立研究，致力于证明半稳定椭圆曲线的谷山-志村猜想。
怀尔斯在剑桥的伊塔卡研讨会上宣布证明了费马大定理，引发全球轰动。
在发现漏洞后，怀尔斯与泰勒合作，利用泰勒-怀尔斯方法完成最终证明，论文发表于《数学年刊》。
怀尔斯与泰勒合作出版了《费马大定理：谷山-志村猜想的证明》完整专著。
最难的部分在于构建一个能够连接椭圆曲线和模形式的桥梁。这需要引入极其先进的数学工具，如伽罗瓦表示、上同调理论和Iwasawa理论。此外，1993年证明中发现的漏洞以及随后的修正过程，也展示了证明的复杂性和严谨性要求。
因为费马所处的17世纪，数学工具远远不足以处理这个问题。直到20世纪，随着代数几何、数论和复分析的发展，特别是谷山-志村猜想的提出，才为证明提供了可能的路径。怀尔斯的工作正是站在这些巨人的肩膀上。
虽然证明本身高度抽象，但它展示了人类理性的力量和数学的统一性。它证明了看似无关的数学领域（如椭圆曲线和模形式）之间存在深刻联系，这种数学的和谐与美具有普遍的哲学意义。此外，怀尔斯的故事激励了无数年轻人投身数学研究。
是的。尽管证明主要依赖人工推理，但其中的许多计算步骤和引理（如椭圆曲线的分类）都经过了计算机辅助验证。现代数学证明往往结合人工智慧和计算机算力，以确保其正确性。
怀尔斯怎么证明的费马大定理，不仅仅是一个数学问题的解答，更是20世纪数学最伟大的成就之一。它证明了谷山-志村猜想的半稳定情形，从而将椭圆曲线与模形式这两个看似独立的领域统一起来。怀尔斯的工作不仅解决了费马的谜题，更为现代数论开辟了新的方向，其影响将持续深远。
对于每一位对数学感兴趣的人来说，理解怀尔斯的证明，就是理解现代数学核心思想的一次深刻旅行。虽然过程艰难，但其背后的逻辑之美和统一性，足以让所有为之付出努力的人感到无上的荣耀。