皮埃尔·德·费马，这位17世纪法兰西数学家在1637年左右提出这一猜想，即对于任何大于2的整数nnn，方程an+bn=bsp;a^n+b^n=bsp;an+bn=没有正整数解a，b，bsp;a，b，bsp;a，b，c。
他声称自己有一个奇妙的证明，但因边栏太小未能写下，这也是数学史上最著名的未解之谜。
这个定理在历史上困扰了数学家350多年，吸引了无数尝试，包括欧拉、柯西、拉梅等人的部分进展。
我第一次听说这个定理，是我进入哥廷根念书的那年，在哥廷根的图书馆里看了一本书。
那本书里写道，费马大定理是一个简单的命题，却无人能证明。我被迷住了。我想，也许有一天，我能找到答案。
那一刻，数学对我来说不再只是数字，而是冒险。
我知道，用传统方法证明费马大定理几乎不可能——我们需要新的工具。幸运的是，数学家们已经铺好了路。
关键线索来自霓虹数学家谷山丰和志村五郎。他们提出了一个大胆的猜想：每一个椭圆曲线都代表一种特殊的代数曲线进而可以对应一个叫“模形式”的数学对象。这被称为谷山-志村猜想。
我的直觉告诉我，如果谷山-志村猜想成立，那么费马大定理也成立。换句话说，如果我能证明谷山-志村猜想的一个子集，费马的谜题就解开了。这成了我的起点。
我的策略是这样的：假设费马大定理是错的，存在一组a，b，bsp;a，b，bsp;na，b，满足an+bn=bsp;a^n+b^n=bsp;an+bn=。用这组数字，我可以构造一个椭圆曲线——后来被称为Frey曲线。然后，我要证明这个曲线不可能是模的。这是个矛盾，所以反过来，费马大定理必须是对的.”
结束讲座后，林燃回到伦敦大学给他准备的房间里开始短暂休息，等着学生们退场后，和数学家们的学术交流。
门突然开了，一位不起眼的老人走了进来。
内容未完，下一页继续阅读