最近翻完西蒙·辛格的《费马大定理》，想安利给版里同好。书里把从丢番图到怀尔斯那三百多年的数学接力，讲成了一桩桩环环相扣的悬案。最妙的是它几乎不堆公式，却把椭圆曲线和模形式之间那条深得吓人的联系点了出来，两个看来毫无关系的领域，底下竟是同一回事。
市面上多数科普书要么掉进演算的泥潭，要么只剩人物八卦，辛格难得两头都站住了。怀尔斯躲在小阁楼里几年不出成果那段，比悬疑片还揪心，因为那是真的：一个人在失败和孤独里硬扛，最后用一篇两百来页的论证，把三百年的老疑问收了口。
嗯
我读到后半截确实失眠了，不是因为题目难，是那种"原来如此"的震颤停不下来。建议睡前别碰。
这种读完心里久久平不下来的感觉，我太能共情了。辛格最厉害的，是把"椭圆曲线和模形式底下其实是同一件事"的那种惊奇，原原本本递到读者手里，靠的不是堆公式，是把几百年的来龙去脉讲透。
我当初也是被"两个毫不相干的东西竟是同一个"这个念头勾住，半夜还翻来覆去想。怀尔斯那段确实揪心，一个人在小阁楼里硬扛那么久，换谁都难熬。下次这种书我打算白天读，省得又失眠。
说椭圆曲线和模形式"同一回事"不太准。准确说是谷山
同款失眠 看完怀尔斯那两百页论证我直接通宵了
那个’小阁楼’有点浪漫化，怀尔斯在普林斯顿当教授时秘密干的，没真躲阁楼里。
你提到的椭圆曲线和模形式那层联系，书里没给名字，我顺手补一个：它叫谷山-志村猜想，证成后改叫模性定理。怀尔斯整个论证真正的支点，是先证明了一类（半稳定）椭圆曲线必然对应某个模形式，于是费马大定理这个看似纯数论的问题，就被"翻译"成了关于模形式的一个命题。辛格没堆公式，却把这个归约的骨架搭得很清楚，这是我觉得他最见功力的地方。
顺带一个小修正：你说"两个领域底下竟是同一回事"，更严谨的表述是"每个有理椭圆曲线都对应唯一的模形式"，是对应关系而非等同。另外"三百多年的接力"严格从费马1637年的边注算起，到1994年收口约357年；丢番图是公元三世纪的人，书从他那类方程讲起，年代跨度别混了。
失眠那段我深有同感，读完那种震颤确实半天平不下来。
顺着你说的椭圆曲线和模形式那层联系，补一条科普书常略过去的桥。辛格把"两个毫无关系的领域底下是同一回事"的震颤写得很准，但中间其实还差一块关键拼图——Frey 在 1984 年构想的那条曲线，和 Ribet 1986 年证出的 epsilon 猜想。大意是：先把费马方程可能的反例翻译成一条极古怪的椭圆曲线，再证明它不可能对应任何模形式，费马猜想才被整个挂到了 Taniyama-Shimura 上。Wiles 真正攻坚的其实是后者。
所以那"三百年的接力"严格讲在 1986 年突然拐了个弯，接棒方向全变了。另外书里说"两百来页的论证"，从发表看 Wiles 那篇 Annals 正文一百出头页，加上 Taylor 补的一篇才凑近一百五，"两百"稍 generous 了。
你那种合不上书的震颤我完全懂，深夜第一次撞见 modularity 的轮廓，确实容易对着天花板发呆。che bellezza，不骗人。
怀尔斯闷在阁楼里那几年，我读的时候总想起一句话，不是数学家的，是某位钢琴家说的，大意是：你把自己关得够久，门外的喧嚣就不再是声音，只是风。我觉得吧
最叫我出神的还是你提的那层：椭圆曲线和模形式，表面上各走各的路，深处却原是同一条河。这种"底下竟是同一回事"的 aha，比任何推理都更像诗。我们习惯把世界切得方方正正，可总有些夜晚，有人伸手把裂开的地方轻轻合上。
我那会儿读倒没失眠，反而是连着几晚睡得极沉，像心里某个一直悬着的小钩子被谁无声地抚平了。震颤之后，竟是一点荒凉的安宁。
辛格把椭圆曲线和模形式那条暗线点出来的时候，我盯着那几页看了好久。两个看起来毫无瓜葛的世界，原来在很深的地方是同一个。这种事总让我觉得，我们以为的边界，大概都是自己画上去的。怀尔斯在小阁楼里那几年，外头的人换了一茬又一茬，只有那个疑问一直亮着。读完我也睡不着，不是因为题目难，是心里有什么被轻轻推了一下，半天回不过神来。
有点细节想掰扯一下。楼主说"从丢番图到怀尔斯那三百多年"，其实这条时间线的起点更该是费马，而不是丢番图。费马1637年在《算术》的页边写下那个猜想，怀尔斯1994年把证明收尾，中间大约357年——"三百多年"是从费马算起的。丢番图是公元3世纪前后的古希腊化数学家，留给后世的是《算术》(Arithmetica)这部著作传统，费马正是在他的书页上批注才牵出这事，所以丢番图更像是"源头之前"的源头，并不站在这条三百年的接力里。
嗯
辛格把Taniyama–Shimura这条modularity的线索点出来确实高明，这也是全书我最服气的地方。当年我读也是停不下来，不过我是通宵而非失眠，区别大概在于主动还是被动（摊手）。
读辛格我也失眠过，不过是被《素数之恋》熬的。他最狠的招数是留白，公式不堆，"原来如此"那下反倒更扎人。