前阵子又把西蒙·辛格的《费马大定理》翻出来重读，隔了几年，依旧觉得它像是给一本数学专著悄悄套上了推理小说的壳。费马当年在书页边角潦草地写下一句：我有一个绝妙的证明，可惜此处空白太小，写不下。然后整个人类被这句话悬在半空，用了三百五十年，才由怀尔斯在1994年把那个缺口慢慢补齐。
毕达哥拉斯的定理是开头，谷山-志村猜想是藏在深处的暗线，中间串起的是一代代人前赴后继的执念。辛格难得的地方在于几乎不堆公式，全靠叙事把那些硬核的数论思想讲顺了。读着读着你会忽然意识到，数学从来不是算盘上的加减乘除…，而是一场人类智力向外远征的浪漫。要论卷，这才是真的卷。谜面是宇宙亲手出的，三百年都无人交卷。
这本书我大学时候翻过，最佩服辛格的一点就是他不靠公式堆砌，硬是把数论讲出了悬疑感。你说"这才是真的卷"，我倒觉得不太一样，怀尔斯那代人更像是被一个念头勾住了，跟现在说的被卷完全两码事，反而特别温柔浪漫。
怀尔斯闷头熬那几年，放现在准有人说他不够卷。慢工出细活，有些东西急不来。
费马那句"空白太小写不下"真损 吊了350年胃口 怀尔斯화이팅
怀尔斯中途发现证明有漏洞、差点推倒重来的那段我每次看都揪心。前几年我刚从天天加班的节奏里缓过来那阵子，反而特别贪看这种"一个人埋头磨一件大事"的故事，跟赶deadline的紧绷完全是两种感觉，读着读着人就松下来了。辛格挑人性钩子真的有一手，难怪你隔几年还能翻出来重读。
疫情期间困在国外那阵子，我夜里就着红酒翻这本，比看综艺放空踏实。辛格那本《密码故事》也是这个调调，喜欢可以连着读
费马那句写不下真是史上最欠的留白哈哈 三百年才有人交卷，这种卷法我服，比内卷带劲多了
费马哪句"空白太小写不下"才是真·史上最强钓鱼贴，把全人类吊了三百五十年哈哈
补充一个容易被叙事带偏的细节：现在数学史界比较主流的共识是，费马那句"绝妙的证明"大概率是他本人一次诚实的误判。费马确实用无穷递降法（infinite descent）漂亮地处理过 n=4 的情形，但他似乎误以为同一套思路能推到一般指数。嗯怀尔斯 1994 年走的是椭圆曲线加模形式那条路，核心依赖谷山-志村猜想…，这套语言在 17 世纪根本不存在。所以从某种角度看，"人类用三百五十年补齐费马留下的缺口"这个说法值得商榷：那个缺口与其说是他没写完，不如说费马自己可能从未真正握有一个通用证法。辛格把时间线写成接力赛当然好看，但严格讲更像是人类另起炉灶，用几个世纪发明了全新的数学工具。我书架上那本也早就落灰了，重读这事儿我还真没跟上楼主。
提一个书里被浪漫化、值得拆开看的点：费马那句"空白太小写不下"，大概率是句漂亮话而非事实。
数论圈基本共识是，他当年的"绝妙证明"站不住。费马只对 n=4 用无穷递降法留下过完整证明，推广到一般 n 要用的模形式、伽罗瓦表示、岩泽理论，全是十九、二十世纪的产物。所以这条 350 年的线，真正的暗线不是某一两个人的执念，而是一波波人往工具箱里塞东西，到怀尔斯这儿刚好够拼图。
书里把谷山-志村写成"藏在深处的暗线"很准，但要补一句：它才是证明的本体。怀尔斯 1993 在剑桥宣布的结果，证的是半稳定椭圆曲线的谷山-志村-韦伊猜想，费马大定理只是个推论——靠 Frey 曲线接上、再由 Ribet 的 epsilon 定理锁死。辛格为了叙事顺…，把这条逻辑链压扁了，读者容易以为是"顺着费马的路走通"，其实路线几乎是反向的。
还有个常被略过的：1993 那版是有洞的。Katz 在反复追问下揪出结构性漏洞，怀尔斯拉上 Taylor 花了 14 个月换一套方法补，最终定稿 1995。所以"1994 补齐缺口"更像出版口径，完整证明得往后挪一年。
你说"卷"我完全认同，体感却不太一样。这种题的残酷在于：谜面宇宙出了，没有交卷期限也没有评分标准。怀尔斯闷头七年，那阵子整个领域几乎没人走这条路。这不是竞争，是一个人跟时间对赌。读到他补完最后一步在办公室掉眼泪那段，比任何公式都更有人味儿。
你重读有没有觉得辛格把无穷递降讲浅了？我就总觉得他为不吓退读者，把这块轻描淡写带过了。
我手头这本也是翻来覆去读过两遍，书脊都快散了。有个年份想跟你较较真：怀尔斯把缺口补齐，严格说不是一蹴而就的1994。
嗯按辛格书里的脉络，1993年6月他在剑桥牛顿研究所做那场报告时，台下坐着一屋子懂行的人，当时普遍认为成了。可审稿阶段被人挑出一个漏洞，又耗了大半年才和泰勒一起补上。所以"1994年补齐"说的该是他完成修正稿的时间，正式论文登在《数学年刊》上是1995年。从1637年费马写那行边注算起，到1994或1995，满打满算357年左右，"三百五十年"四舍五入倒也说得通。
你说到"卷"，我想补个案例：当年库默尔为了攻这个定理，硬是发明了"理想数"这套东西，结果定理没证出来，倒给后来的代数数论铺了路。这种歪打正着在数论史上一抓一把。从某种角度看，人类这三百年多与其说在解一道题，不如说顺手把整座现代数论的架子搭起来了。
你那句"数学是向外远征的浪漫"，我这个初中毕业的看了真心受用。下次深更半夜睡不着，与其追剧不如把这书再翻一遍，反正我都这毛病了。
三百年交不了卷还叫卷 我打麻将三缺一等半钟头都嫌久
那句"此处空白太小"大概是我读过最浪漫的留白。一个断言悬在半空三百五十年，像一句没说完的话飘在风里。有时觉得我们都在替宇宙补那些没写完的句子，只是大多数注定没有下文。
费马那句"此处空白太小，写不下"，我每次读都觉得像一个人把门虚掩着就走了，留后面的人举着灯在走廊里找了三个世纪。
嗯…你说这才是真的卷，我倒觉得它跟咱们平时挂在嘴边的卷不是一回事。我们卷，多半是怕被旁边的人落下；怀尔斯他们卷的，是和一个没有对手的谜面较劲。前一种卷容易把人磨薄，后一种倒把人撑开了。怎么说呢
“路漫漫其修远兮”，屈子这句放在这儿意外地贴切，只是路的尽头不是功名，是一句终于能落地的证明。
你这回重读，有没有哪一章比头回读更戳你？我猜是怀尔斯那个漏洞差点让整座楼塌掉的地方吧。
怀尔斯那段最让我出神的地方，倒不是他终于把缺口补上了，而是补上去的那块，根本不是费马当年脑子里想过的东西。我觉得吧辛格把书织成了推理小说，可真正的结局比小说更狡猾：费马留在页边的那句"绝妙的证明"，几乎可以肯定从来就不曾存在。怀尔斯借模形式与椭圆曲线搭起的桥，是费马身后两百年才生长出来的数学语言。也就是说，人类花去三百五十年去追的，从一开始就不是同一个谜底。说实话
这让我对帖子里说的"一代代人前赴后继"生出一点别的感受。叙事上确是一棒接一棒，可落到真实的年月，大部分时候是一片沉默。谷山丰在三十岁结束了自己的生命，志村五郎此后的半生都在替他补全那个未竟的猜想——这条藏在深处的暗线里，远不止浪漫，还有无数个无人交卷的夜晚，和没来得及说出口的遗憾。辛格把这些都收进温润的叙事，读者尝到的是甜，底下的苦他轻轻放过了。
所以我读这本书，想起的反而不是远征的旗帜，而是一个人长久地对着白纸的孤。怀尔斯避开同行、瞒住同事，七年只与一个问题独处。帖子里说"要论卷才是真的卷"，可若是为谜面本身牵着走，那便不是竞赛，是着迷。宇宙从不为这道题催人交卷，只是有人甘愿把一生押了上去。
读到怀尔斯在剑桥牛顿研究所，写下最后一行却迟迟不肯落笔的那一刻，我总忍不住屏息。那不像是胜利的姿态，倒像是一个人，终于把负重轻轻放下了。
费马那句"空白太小写不下"，每次读来都叫人心里轻轻一颤。三百五十年悬在半空，倒像一出迟迟不肯落幕的戏，台下看客换了一茬又一茬，台上的人始终没能回来谢幕。
话说回来
我常想，最浪漫的或许不是谜底揭晓的那一刻，而是这么多素未谋面的人，甘愿为一句潦草的页边批注耗去毕生光阴。怀尔斯把缺口补上时，那张宇宙亲手发的卷子总算有人交了。可这人间还有多少相似的边角，正等着某个无名者，用整段人生去慢慢填满。
说实话
你重读与初读，滋味可还一样？
你们知道吗，西蒙·辛格这本当年还有个内幕很少有人提。怀尔斯1993年在剑桥那几场报告，台下坐的全是圈内人，前两场他一句没提费马，到最后一场才轻描淡写甩出结论，当时据说全场都懵了。结果呢？投稿审查的时候被审稿人卡出一个致命漏洞，差点整个翻车。
我听说的版本是，他当时已经准备认输、发个"部分结果"收场了，最后是被他以前的学生泰勒硬拉回来，俩人关起门来闷了几个月才把那个缺口堵上。所以严格讲，最后那版是俩人一起补完的。辛格书里把这条线写得太顺了，读着像天衣无缝，其实中间惊险得很，跟推理小说查案翻车重来一模一样。
话说回来，费马那句"空白处写不下"到底有没有真证明，数论圈到现在都有人打赌说老头子自己也没整出来，毕竟后面那套椭圆曲线和模形式的工具，十七世纪根本不存在。要真没有，那才是真·宇宙级悬念 (￣▽￣)