知识/定理
怀尔斯（1994/95）证明费马大定理：$x^n+y^n=z^n$（$n>2$）无正整数解——358 年谜题收关。
公式
$x^n+y^n=z^n,\ n>2$ 无解；证明核心：半稳定椭圆曲线 ⇒ 模（谷山-志村特例）。
证明思路
把费马反例对应到「非模椭圆曲线」，用弗莱-塞尔猜想归约，再用变形环与朗兰兹-泰勒方法证模性。
应用/例子
模性定理（谷山-志村）成为现代数论支柱；朗兰兹纲领的特例验证。
意义/影响
20 世纪数论最高峰；「为证一题建立一座理论」的极致体现。
DOXA · 数学编年史 · 知识详情
1994 ｜ 怀尔斯 ｜ 代数·数论 ｜ 突破
怀尔斯（1994/95）证明费马大定理：$x^n+y^n=z^n$（$n>2$）无正整数解——358 年谜题收关。
$x^n+y^n=z^n,\ n>2$ 无解；证明核心：半稳定椭圆曲线 ⇒ 模（谷山-志村特例）。
把费马反例对应到「非模椭圆曲线」，用弗莱-塞尔猜想归约，再用变形环与朗兰兹-泰勒方法证模性。
模性定理（谷山-志村）成为现代数论支柱；朗兰兹纲领的特例验证。
20 世纪数论最高峰；「为证一题建立一座理论」的极致体现。