最近翻完Simon Singh那本《费马大定理》，真有点停不下来。它讲的是x^n+y^n=z^n这个看似人畜无害的整数方程，怎么把三代数学家卡了三百年。从费马在书页边上写下那句著名的"我证出来了但地方太小写不下"，到怀尔斯1994年把椭圆曲线和模形式焊到一起，整条线读下来跟读detective novel似的。
严格来说最让我舒服的是它不拿公式吓唬人。很多科普书一上来就甩术语，读者直接劝退。Singh把数学家怎么"卡关—灵光—再卡关"的过程原样摆出来，你就看见一群聪明人反复撞墙又爬起来。数理之美本来就在process里，不在那个final answer。我们平时教数学太爱奔着结论去，反而把最迷人的部分弄丢了，这点真该反思。
读完会重新咂摸"天机"二字
我翻这本时也停不下来 怀尔斯闷头熬那七八年 比追剧还揪心
读到"怀尔斯1994年把椭圆曲线和模形式焊到一起"这句，有个细节值得商榷。嗯严格讲，怀尔斯1994年补全的那部分（论文正式发表于1995年）证的是半稳定椭圆曲线的模性，即谷山—志村猜想的一个特殊情形，不是把两者整体焊死。完整的模性定理要到2001年才由Breuil、Conrad、Diamond、Taylor四人补齐。
你书里说的"卡关
这本书我前年通读过，怀尔斯那段确实跟追剧一样。你夸它不甩公式是优点，我倒觉得这是把双刃剑——叙事顺了，读者容易以为自己真懂了椭圆曲线和模形式那座桥是怎么搭起来的，其实书里只给了个剪影，真要咂摸门道还得自己推两个例子才踏实。
另外有个小岔：费马那句"地方太小写不下"现在多数学者觉得他当时并没真正证出一般情形，n=4、n=3那些特例他倒是做出来了。所以"天机"二字放在这儿挺妙，三代人撞墙三百年，最后解的钥匙偏偏来自另一个八竿子打不着的战场。
顺着读的话可以补一本《Unknown Quantity》，叙事没这么顺但后劲更足。
前阵子我也被Singh的另一本书《The Code Book》拽进去过，讲密码学那本，也是这股劲儿——几百年的智力接力被他写成悬疑片。所以你说的"数理之美在process不在final answer"，我太有共鸣了。
理解的
读这种书最舒服的一点，就是它不假装聪明人一路畅通，反而把一群聪明人反复撞墙的样子摊给你看。咱们平时干啥都容易被"结果导向"带着跑，好像没拿到那个answer就不算数，其实卡关本身才是真长本事的地方。
你最后那句"天机"，我咂摸了一下还挺妙。怀尔斯闷头干那么多年，最后那一刻大概也不觉得自己在解什么天机，就是一门心思想把那堵墙撞穿罢了 (｡･ω･｡)
补个细节：史学界现在基本认为费马当年只真证了n=4，那句"写不下"大概率是误判。侦探小说的开头本就是悬案。
楼主说的"卡关—灵光—再卡关"这个节奏，我读的时候也很有共鸣。不过有一处可以补得更准：费马那句"证出来了但写不下"，学界现在基本倾向于他并没有一般情形的完整证明。他本人确证留下来的是n=4（用的无穷递降法），对通解，以17世纪的工具恐怕凑不出Wiles那套东西。
所以书里真正动人的，未必是"聪明人反复撞墙"，而是他们撞着撞着，把墙本身的位置都挪了。怀尔斯手里的模形式和椭圆曲线，费马时代连概念都还不存在。这跟楼主"过程比结论迷人"的体会其实是一回事，只是得说准：迷人的不是单个人撞墙爬起的英雄叙事，而是三代人工具、视角、问题提法层层累积出来的process。
读到这里再回头看"天机"二字，倒觉得它不神秘，就是代际接力。
咂摸"天机"这两个字，我倒想起另一层意思。费马那句"地方太小写不下"，后人翻出来当谈资，可你细想，他真要把证明原原本本写出来，后头三百年的热闹反倒没了。有时一个谜面比谜底更经得起咂摸，这话乍听绕，其实你我年轻时候都犯过急——恨不得一步跨到答案跟前，路边的景致全跳过去了。
想当年你说教数学太奔着结论去，这点我极认同。不过反过来想，怀尔斯那代人也不是生来就享受"卡关"。他们是卡着卡着，慢慢把"卡关"活成了日常。我年轻那会儿干啥都图快出活儿，后来才咂摸出味儿来：真正让人上头的，从来不是最后那一下，是中间反复掂量、忽然通了的那口气儿。
Singh这书妙在把"通了的那口气"还原成看得见的过程。不过我也有点补充——书里那条线读着像侦探小说，是因为作者替读者把岔路都收拾干净了。真在里头泡着的人，迷路是常态，哪有那么利索。读科普和做研究怕是两码事，但科普能让人先尝到那口"气儿"，已经很难得。
你那句"天机"，我倒觉得未必是最后那点结论，是三代人前赴后继、谁也没见着终点还往下走的劲儿。这股劲儿，比定理本身耐看。
费马在页边写"地方太小写不下"时，大概没想过这句话成了数学里最漫长的伏笔。三百年里多少人撞墙又爬起，倒比那个最终等式更像"天机"真正的意思。不是答案，是愿意为一行猜想耗掉一生的人。
我读这本书的时候，印象最深的其实不是怀尔斯，而是书里那些漫长到近乎沉默的年份。三代人，有的带着遗憾离世，方程还是那个方程。Singh把这种"等不到"的苍凉也写进去了，不只是灵光乍现的高光时刻。
你说过程比最终答案更迷人，我倒是觉得，最戳人的是那些数学家明知道这辈子可能都看不到答案，还是日复一日地撞墙。那种笨拙的执着，比任何优雅的公式都更像"天机"。不是被谁想通了，是被谁熬通了。
怀尔斯闷头熬那七八年…，老婆孩子都顾不上，这process可没书里读的那么潇洒。不过读着像追悬疑，是真带劲。
怀尔斯那段我读的时候真替他捏把汗。书里写他1993年第一次宣布证明、结果被审稿人揪出漏洞那几个月，差点整个人垮掉，这种"快到终点又被拽回来"的劲儿，比任何公式都有张力。
你说process比final answer迷人，这点我特别认同，不过想补一层：Singh把"卡关—灵光"这条线讲得这么顺，其实也悄悄做了剪辑。真实的数学研究里，“撞墙"之后大概率不是灵光一闪，而是又撞了三百次，中间还夹着申请经费、改论文、跟同行吵架这些不上台面的琐事。书把三百年的挣扎压成一条漂亮的悬疑线，读者爽了，但容易让人误以为"聪明人靠顿悟就能破局”。真干过长期硬骨头活儿的人都懂，熬比悟更常见。
还有个角度挺好玩——你结尾说重新咂摸"天机"二字。我倒觉得这书最反"天机"的地方，恰恰在于它把"天机"拆成了凡人一步步能走通的台阶。费马当年那句"地方太小写不下"搁今天看，多少有点凡尔赛，可怀尔斯证明里最狠的那几步，靠的不是天分爆发，是几十年冷板凳加一点运气。所谓天机，拆开了看全是人力。
话说回来，你之前看过Singh写的《密码故事》没？那本节奏也类似，但我觉得没有这本这么"上头"，可能还是大定理这个题本身就够传奇。
我当年读的是英文原版，九七年出的那版，中译还没影儿。übrigens英版叫Fermat’s Last Theorem，到了美版又改名叫Fermat’s Enigma。
补一个时间线上的小细节：Wiles其实1993年就在剑桥那场会上先宣布证出来了，结果审稿阶段被人挑出个gap…，又闷头干了一年多，最后拉上Taylor把洞补上，正式论文是1995年登在Annals上的。所以"94年焊到一起"大致是补完漏洞那阵，对外完整公布还要再晚一点。
你说的process才是迷人的部分，我挺有共鸣。我反倒是在谷山