Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

TL;DR:安德鲁·怀尔斯回顾他证明费马大定理的最后关键转折：在看似无法逾越的障碍后，一次偶然的顿悟让证明从“灰烬”中完整浮现。 ## 七年：一场私人的战斗 在从事费马大定理证明的头七年里，怀尔斯说自己热爱其中的每一分钟。无论问题多么艰难，总会遇到挫折，也常常有看似无法逾越的障碍，但这是他所投入的一场私人的、非常个人的战斗。 ## 九月：回到原始结构 到了九月，怀尔斯决定回去再审视一次 Flack 和 Colyvan 的原始结构，试图精确定位它为什么行不通。他想尝试将其精确表述出来。 他说，在数学中人们永远无法真正做到这一点，但他只是想让自己内心平静下来，确认那个方法真的无法被实现。 ## 不可思议的顿悟 九月初，他坐在书桌前。突然间，完全出乎意料地，他有了一个难以置信的启示。怀尔斯形容那是他职业生涯中最重要的时刻： > 它美得无法形容。如此简单，如此优雅。 他目瞪口呆地盯着看了 20 分钟。那天白天，他在系里走来走去，不停地回到桌前，看看它是否还在那里。它还在那里。 ## 从灰烬中升起的答案 怀尔斯意识到，几乎看起来，阻碍 Flack 和 Colyvan 方法的东西，恰恰是能让无理论的水平结构运转起来的关键——而他三年前对这个问题的原始方法，恰好能让它运转。 于是，从灰烬中，似乎升起了这个问题的真正答案。 ## “我找到了” 第一天晚上，他回去仔细琢磨了它。第二天早上，他又检查了一遍。到了 11 点，他满意了，下楼告诉妻子： > 我找到了。我想我找到了。 这句话太过出乎意料，以至于妻子以为他在说什么儿童玩具之类的东西。她问：“找到什么？” 他说：“我修复了我的证明。我找到了它。” ## 童年梦想的回报 怀尔斯说，对他来说，没有其他问题会有同样的意义。他拥有一个非常罕见的特权，能在成年生活中追求他童年的梦想。 > 我知道这是罕见的特权，但如果一个人能做到这一点，它的回报超越我能想象的一切。 来源：[Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]](https://www.youtube.com/watch?v=GS7CxAtV5Ks)