费马 1637 年在书页边写下：方程 $x^n+y^n=z^n$ 在 $n>2$ 时没有正整数解，「我发现了一个绝妙的证明，可惜这里空白太窄」。这句话把数学界钉在墙上 358 年。有趣的是，沃尔斯 1994 年最终的证明，根本不去直接碰这个方程。他攻的是另一座山：「每一条椭圆曲线，骨子里都是一个模形式」（谷山–志村猜想）。费马大定理只是这座山塌下来时被顺带压碎的一块石头。
椭圆曲线是形如 $y^2=x^3+ax+b$ 的曲线；模形式是复上半平面上一类对称到极致的函数（在一个庞大变换群作用下几乎不变）。模性定理断言：每条有理椭圆曲线都「对应」一个模形式，两个世界的信息一一吻合。弗雷 (Frey) 发现：若费马方程真有解 $a^n+b^n=c^n$，就能拼出一条椭圆曲线 $y^2=x(x-a^n)(x+b^n)$，它对称得太病态，不可能是模形式——与模性定理直接矛盾。归谬。
它的美在于一座跨越鸿沟的桥。椭圆曲线属于数论（离散、算术），模形式属于复分析（连续、对称）——两个几百年来各说各话的王国，竟被证明是同一件事的两种语言。沃尔斯没有「更聪明地算方程」，而是把问题搬到了另一个宇宙，在那里它成了一道可解的题。这正是现代数学最深的直觉：难题的钥匙，常常藏在一个你以为毫不相干的领域里。
椭圆曲线不是抽象玩物：椭圆曲线密码学 (ECC) 是当今互联网的骨架——比特币的签名用的正是 secp256k1 这条曲线，同等安全性下密钥比 RSA 短得多。模形式则渗入弦论与配分函数的计算。沃尔斯打通的这条数论↔分析通道，今天仍是算术几何研究的主干道。
拓扑学问：怎么隔着「橡皮变形」认出一个形状？二维时很简单——球面和甜甜圈的区别是「有没有洞」。庞加莱 1904 年问的是三维版本：一个没有洞的闭三维空间，是不是一定就是三维球面？「没有洞」的判据很直观：在它表面套一根绳圈，能不能一路收缩成一个点（能，就叫单连通）。这个问题悬了近一个世纪。
佩雷尔曼 2003 年的武器是里奇流——一个让空间「自我抹平」的演化方程：
把空间的形状（度规 $g_{ij}$）想成会随时间流动的橡皮；右边的里奇曲率 $R_{ij}$ 像温度梯度，曲率高（尖）的地方收缩，曲率低（凹）的地方膨胀——和热扩散把冷热抹匀一模一样。流动久了，一个单连通三维空间就被磨成完美的球面。难点是途中会鼓出「细脖子」并掐断（奇点），佩雷尔曼的绝招是做「手术」切掉再接着流。
美在用连续的分析去解离散的拓扑：一个纯粹「分类形状」的问题，竟被一个像热方程一样的偏微分方程解决了。更宏大的是它顺带证明了瑟斯顿的几何化猜想——任何三维空间都能被切成八种标准几何的积木。佩雷尔曼随后拒绝了菲尔兹奖和一百万美元克雷奖，只留下三篇挂在预印本网站的论文，本身就成了数学史的一则传奇。
里奇流「用曲率驱动平滑」的思想外溢到了工程：图像处理中的曲率流去噪、网格曲面的光顺，都是同一套「按曲率演化几何」的数学；流形学习与网络科学里，Ollivier–里奇曲率被用来刻画图上的「瓶颈」与社区结构，甚至用于诊断图神经网络的过度挤压 (over-squashing)。
越往大数走，素数越稀疏，间隔平均越拉越大。但总有一些素数「挤」在一起——比如 $11,13$ 这样相差 $2$ 的孪生素数。孪生素数有无穷多对吗？这是两千年的悬案。2013 年，一位默默无闻、年近六旬的讲师张益唐证明了一件石破天惊的事：存在无穷多对素数，它们的间隔不超过 7000 万。
记 $p_n$ 为第 $n$ 个素数，张益唐证明了
「$\liminf$」是说：无论走到多大，总还能找到间隔小于 7000 万的相邻素数对，永不枯竭。7000 万听起来离目标（间隔 2）远得离谱，但关键不在这个数，而在「有一个有限的墙」这件事本身第一次被钉死了。
美在「量变」与「质变」的分野。此前人类连「间隔有没有上界」都答不出——理论上素数可以越隔越远、永不再靠近。张益唐第一次证明了墙确实存在。从「无穷」到「有限」是一次质的飞跃；而 7000 万 → 2 只是量的打磨。果然，消息传开后数学界的 Polymath 协作与梅纳德 (Maynard) 的新方法迅速把上界压到 246。孤独的洞见点燃了集体的接力。
素数分布是密码学的地基：RSA 的安全性依赖大素数的丰沛与「找得到、猜不着」，而这类结果精细刻画了素数在数轴上的聚集规律。张益唐改进的筛法（GPY 筛的加强）是解析数论的核心工具，其方法论也反哺随机矩阵理论与数学物理中对「谱间隔」的研究。
前三个故事看似各自独立，但有一条暗线把它们串起来。1967 年，朗兰兹 (Robert Langlands) 提出一张宏伟的「对照表」，想把数学的两大王国用一部字典逐词对译：一边是数论（方程的对称性、伽罗瓦群），另一边是分析（自守形式、表示论）。它常被称为数学的「大统一理论」——沃尔斯证明的模性定理，正是朗兰兹纲领的一个特例。第一个故事的那座「桥」，其实是这张巨网上的一根丝。
美在预言的力量。朗兰兹纲领像门捷列夫的元素周期表——它不只解释已知，还预言了成片尚未证明的对应关系，为几代数学家画出地图。它揭示：数论、几何、分析这些看似隔行如隔山的分支，也许只是同一套底层结构在不同语言里的投影。数学的终极之美，或许就是这种「万物本是一物」的统一冲动。
几何朗兰兹纲领与理论物理深度纠缠：威滕 (Witten) 等人发现它对应四维规范场论中的电磁对偶，让数学与量子场论互为镜像。而「用对称性（群与表示）组织复杂系统」这一核心思想，也正是现代 AI 中几何深度学习（等变神经网络）的灵魂——对称性决定了什么信息该被保留。