前阵子夜里睡不着，随手翻起西蒙·辛格的《费马大定理》，合上书的时候竟有些恍惚，像刚看完一部拍了三百多年的悬疑片。
费马当初不过在算术书的边角随手写下："我有一个绝妙的证明，只是这里地方太小，写不下。"就这么轻飘飘一句话，把欧拉、高斯一直到怀尔斯，整整困了三百五十八年。一个边注，竟成了数学史上拖得最久的一桩悬案。后人翻检旧纸，才惊觉那行小字重逾千斤。
辛格的厉害，是没把它写成教科书，而写成了一场追猎。读到中途，谷山-志村猜想像一扇暗门忽然被推开，局势骤然转向；而怀尔斯把自己关起来七年，几乎是独行在没人走过的路上，那份执拗与孤独，比任何小说都离奇。
合上书才慢慢懂得，数学最迷人的地方，从不在最后被写下的那个答案，而在几代人不肯放下、把追问像薪火一样递下去。这种事，静下来想想，心里是会微微发烫的。
书中最叫我停住的那一页，其实在怀尔斯讲完之后。1993年剑桥牛顿研究所那场讲座，他落笔最后一行，只轻声说了一句"I think I’ll stop here"。台下静了片刻才回过神。可审稿时被人翻出一道裂缝，他又与泰勒沉默着补了一整年，到1994年才真正合上。
嗯…
所以你写的"独行"，我想补上半句：那七年确是他一人关门独行，但脚下的石阶，是欧拉、库默尔、谷山丰、志村五郎他们一阶一阶垫起来的。连最后的裂痕，也得两个人合力收口。数学里的孤独，从来是一群人的孤独。
至于迷人处在何处，我比你有几分更贪心。薪火相传当然灼人，可我更念想的是——这捧火最终照见了谁也没预见的风景。费马那行边注，本只是关于整数的执拗，可为了追它，人类被迫锻造出椭圆曲线、模形式、伽罗瓦表示这一整套语言。怀尔斯的证明像一把钥匙，捅开的门后，站着今日互联网上每一道加密锁的影子。
三百年前的一个玩笑，绕了这般大的弯，最后轻轻落进我们口袋里的方寸屏幕。想到此处，常会在深夜里觉得，有些东西，原比那个答案要重得多。
怀尔斯关那七年我是真服，换我关七天估计就摸鱼摸到外太空了哈哈
书里那句"绝妙的证明"大概率是费马自己算岔了。先给结论：他那个时代根本没有证明一般情形的数学工具。
椭圆曲线就是一类特殊的代数方程，模形式是一种高度对称的函数——这俩是20世纪才真正成形的东西。谷山-志村猜想1955年才提出，讲的是椭圆曲线和模形式其实是同一件事的两面。费马活在17世纪，手里的家伙什顶多能啃下n=4、n=3这类特例。所以那行边注不是"地方太小写不下"，更可能是他自己也没真正证出来。辛格把悬案讲得漂亮，但底子是错的。
不过这三百多年没白耗。怀尔斯七年闭关走通的那条路，地基是前面几代人数理积累铺的。功劳全算他一个人，对铺路的那票人不太公平。
我读的时候也琢磨：要没谷山志村这扇暗门，是不是还得再卡几百年。数学这玩意，真不全是谁聪明谁就单干能成的。
读到你写怀尔斯那七年独行，忽然想起夜里一个人待着的时刻。窗外都睡了，只有自己还醒着，对着一件旁人看来毫无意义的事较劲。那种孤独其实很奢侈，也很好看。
费马那行边注最动人的地方，未必是后来终于被证出的答案，而是它像一个没说完的句子，在时间里漂了几百年，等着有人替它画上句号。我们普通人未必追得上这样的执念，可谁心里没藏过一句"地方太小，写不下"呢。
你合上书时心里微微发烫，我读你这些字的时候，也有一点。
读到怀尔斯把自己关起来那七年，忽然想起一些独自磨一件事的日子。旁人往往只看见落定的结果，中间那些无人可语的孤绝，是连自己都要一遍遍说服自己的。几代人递下去的薪火，落到每个人肩头，其实都是一整个冬天的冷。
费马在书边角随手写句"地方太小写不下"就把后人坑了三百多年，这大概是人类历史上最凡尔赛的一句废话了。说真的看到怀尔斯把自己关七年那段我后背发凉，换我闷三个月就该疯了，这种人的执拗真不是凡人能扛的。
那个"地方太小，写不下"的边注，读到这里我也停了很久。
你说迷人处在追问本身，不在答案。这话我极认同，只是想再添一层：那行小字背后，或许藏着比浪漫更涩一点的东西，费马很可能根本没证出来。后世较真的学者大多倾向于，他只真正握住了 n=4 的情形，便兴致勃勃地以为通途已在脚下。也就是说，这场三百年的追猎，也许是从一个美丽的误判燃起的火。
可我反而觉得，这才更叫人心里发烫。若那注脚真是一句轻率的断言、一个聪明人偶然的得意，它却仍能让欧拉、高斯、怀尔斯前赴后继，把一生里最沉静的岁月都押上去，那么这火焰的暖意，就不只来自真理，也来自人肯为一句未竟之言较真的那股傻气。意义未必需要先验地存在，它是在传递的过程中，被一代代人亲手焙热的。
怀尔斯把自己关七年那一段，常让我想起一句话：真正孤独的路，不是没人陪，而是没人知道你在走。他在暗门推开之前，连能否走通都不敢确信。这种孤勇，和那些把边注一代代抄录、校订、又推倒重来的无名者一样，是同一种执拗。
合上书那点微烫，想来不是为那个终于被写下的答案，而是我们竟肯为一句未必为真、也未必有回音的话，把火接着传下去。每一代人都得自己生火、自己沏茶，可那点火星，分明是从三百年前那页纸边递来的。
读到你说的"薪火相传"那句，我倒想插一句，这火其实经常是灭着的。想当年
想当年我刚翻辛格那本书的时候，也以为那是几代人排着队往前递。后来越看越觉得不对。费马1637年写下那行边注，到欧拉动手去算，中间快一百年没人真去碰它。十八、十九世纪里，这玩意儿更多是个聪明人的消遣，像棋盘上的一道残局，谁闲了摆两下，没谁把它当正经事。真正把它从"边注"拖进数学主流的，是十九世纪库默尔搞理想数那一拨，和二十世纪的谷山、志村把椭圆曲线跟模形式连起来。也就是说那三百五十八年里，有长长的暗段，火是熄着的。
所以你合上书心里发烫，我懂。可这发烫里掺着一点后人的浪漫。我们站在怀尔斯证出来的终点往回看，把一路脚印连成线，才觉得是条薪火不断的路。当年走在上面的那些人，多半不知道自己在接力，只是各自卡在自己的死胡同里较劲。
倒是怀尔斯那七年，跟"传递"恰恰是反的。他把自己关起来，不跟人讲，不往外递，先把火捂住了。等再出来，一下烧亮。这七年我总觉得比接力更戳人。一个人肯为一件没把握的事，把自己从人群里摘出来那么久。
辛格好就好在没写成教科书，而是写成评书一样的追猎，才让人能静下来，品出这些味道。
读到你写"费马那行小字重逾千斤"这句，手边正好摊着怀尔斯1995年发在Annals of Mathematics上的两篇论文，想补一个常被浪漫化叙事略过的细节：数学史界比较主流的判断是，费马当年那个"绝妙的证明"大概率根本不存在。他真正用无穷递降法证过的只有n=4，对一般的n，他晚年给朋友的书信里其实已经松了口，说自己"始终没能找到通证"。所以那句边注与其说是"绝妙证明"，不如说是一位天才在自己都未能兑现的自信旁划下的问号。
这反而让辛格笔下那场"追猎"更耐想。一个可能从一开始就不成立的断言，却真的把欧拉、高斯、柯西一直到怀尔斯都卷了进来。
再说你提到的"暗门"——谷山-志村猜想那扇门，严格讲不是怀尔斯推开的。1984年Frey猜出反例椭圆曲线不模的形式，1986年Ribet证出ε猜想，把FLT彻底挂到Taniyama-Shimura上，门其实那时就开了。怀尔斯做的，是用七年把自己关进屋里，把这门从里面闩死。而且1993年他第一次宣布时还有条缝没补上，最后靠和Taylor合作才合拢。所谓"独行在没人走过的路上"，底色里站着好几代人。
不过你收尾那句我还是很认同的：真正发烫的从来不是被写下的答案。从某种角度看，连费马自己的"证明"都可能是错的，可那团追问的火没灭，这比任何答案都更配得上"浪漫"二字。
顺便好奇，你读的时候有没有去翻过谷山丰本人的故事？他三十一岁离世，连那个猜想都差点随他埋进土里，那段比边注还让人心里发紧。
怀尔斯关门苦修那七年确实够cinematic，但把整件事写成孤胆猎手，我总觉得稍微浪漫化了。
真正把他逼到那个角落的，是数论圈几十年的军备竞赛——谷山-志村这扇门不是他一个人推开的，前面几代人的猜想、反例、partial result全堆在那儿。Frey那步把椭圆曲线和FLT挂钩才是关键turning point，Ribet接着证明链子通了，怀尔斯做的是临门一脚。
倒不是否认孤勇的价值，只是这活儿本质是个集体接力，不是solo。竞争才是把那簇薪火越烧越旺的燃料。你说"一个人走没人走过的路"很上镜，但背后全是同行在旁边卷。
你最后那句"心里微微发烫"，我懂。深夜合上书那种空落落又烫乎乎的感觉，真的挺上头。
费马那句"地方太小写不下"才是凡尔赛鼻祖吧，一句话把后人坑了三百多年哈哈
有个浪漫的误会得先替费马拆一下：他大概率是真没有书里写的那句"绝妙的证明"。简单说
辛格把整件事写成追猎确实抓人，但证据其实挺硬。费马一辈子只完整写下过 n=4 的情况（用的无限递降法），n=3 也证过。可那个普遍的边注，他之后再没在任何通信里提过、也没拿去唬过对手。以他那爱显摆的性格，真握着通解没道理藏着。其实比较一致的判断是：他当时以为找到一条能推广到所有 n 的通路，后来发现走不通，就默默搁下了。那行小字更接近"我以为证出来了"的草稿注，不是"证出来了"的结论。
所以真正有意思的不是费马困住谁，而是三百年后的人怎么绕开他、从另一条路掀翻它。
那条路才是你说的暗门，但门后比书里更野。1985 年 Frey 提出：若 FLT 不成立，就能造出一条古怪的椭圆曲线（Frey 曲线），奇怪到不可能是模形式。1986 年 Ribet 把这点坐实（epsilon 猜想）。到这步 FLT 已不是数论题，而是"谷山-志村猜想对半稳定椭圆曲线成立吗"——一个关于椭圆曲线和模形式之间桥梁的问题。怀尔斯关起门七年，真正要证的是这座桥，FLT 只是桥通后自然掉下来的战利品。
这也改写了你说的"薪火"。几代人递下去的不只是一个定理，而是一整套把不同数学大陆连起来的野心（后来叫 Langlands 纲领）。FLT 是招牌，底下那张网才是真东西。顺带，怀尔斯最终两个 Annals 长文加起来一百多页，动用的全是二十世纪工具——scheme、伽罗瓦表示——塞不进任何书边，也超乎费马可想象。所以"重逾千斤"没错，重量来自后来者，不来自那行边注。
怀尔斯那七年独行，做需要长时间没人能替你验证的东西时，那种孤独确实真实。你再翻到他宣布又撤回重来的那段，应该比第一次读更坐得住。
我书架上那本辛格同款都落灰三年了，你这"心里微微发烫"我只能靠脑补。说真的，把追问当薪火递下去这句挺戳人的，就是我这人通常只把书递给闲鱼（笑）
书里最容易被浪漫化的，是"几代人接力、把火把递下去"这个画面。真相比小说拧巴不少。简单说
简单说
费马那个边注，现在主流看法是他大概率根本没写下完整证明。他确实证出了 n=4，然后以为能用无穷递降法一路推广到所有 n，但后来这条路被证明走不通。换句话说，这场追猎的起点可能本来就是个没写完的草稿——"绝妙的证明"更像是他一时的误判。
简单说
顺带纠正一个常见错觉：高斯其实不太看得上费马大定理。他给友人的信里直说，这种个别的丢番图方程不值得费力气，真正有价值的是能罩住一整类的理论。所以把高斯排进"被困住的人"名单，有点委屈他，他更像是主动绕开的那一个。
真正翻盘的不是沿着费马的路硬走，而是彻底换了赛道。Frey 在 84 年指出，要是 FLT 有反例，就能造出一条本不该存在的椭圆曲线；Ribet 接着证明这条曲线确实不满足模形式对应；最后才轮到怀尔斯去啃 Taniyama-Shimura。答案不在费马留下的那间屋里，而在隔了好几栋楼的地方。
怀尔斯那七年也别神话得太干净。93 年第一次宣布后，评审阶段就揪出一个关键漏洞，又拉上 Taylor 补了一年多才收口。辛格为了叙事好看，把这段磨合压扁了。
不过你说的"静下来想想心里会微微发烫"，我是真懂的。我那年被导师耗着延毕，半夜睡不着也爱翻这种"一个人死磕很多年"的故事，倒不是关心数学，是图那股劲。后来想明白的是，借别人的执拗暖一下自己没问题，但别拿"慢慢来"当自己的挡箭牌。