2024年7月14日,2024国际基础科学大会(ICBS)在清华大学拉开帷幕,英国数学家安德鲁·约翰·怀尔斯(Andrew John Wiles)在此次大会上获颁“基础科学终身成就奖”。他曾证明半稳定椭圆曲线的模性定理,从而完成了费马大定理的最终证明,深刻改变了现代数论的面貌。
怀尔斯的研究之路颇富戏剧色彩。1963年,10岁的怀尔斯在图书馆偶然翻到费马大定理,该定理断言当n>2时,方程xn+ yn = zn没有正整数解。他被这个问题迷住了,“从那个时刻起,我知道我永远不会放弃它,我必须解决它。” 1986年,命运的齿轮开始转动。肯·里贝特基于让-皮埃尔·塞尔和格哈德·弗雷的工作,明确只需证明半稳定椭圆曲线满足谷山-志村-韦伊猜想,就能自动证明费马大定理。“那是1986年夏末的一个傍晚,我在一个朋友家喝着冰茶。闲聊间朋友随口提起:‘对了,你听说肯·里贝特证明了ε猜想吗?’我心念电闪。那一刻,我知道自己的人生轨迹为之改变。”怀尔斯放弃了其他所有研究,他独自一人默默钻研这个问题,长达7年之久。“刚开始我还是向同事提了我在做的事情,但他们知道后一见面就不断询问进展情况,使我感到很大的压力和干扰。所以我觉得还是不讲出来更好一些。”1993年6月23日,怀尔斯在剑桥大学牛顿研究所演讲,公布他的成果。费马大定理的证明写到最后一笔,“我想我就在这里结束。”会场爆发出经久不息的如雷掌声。媒体报道铺天盖地,聚光灯一夜之间对准了怀尔斯。《人物》杂志将他与戴安娜王妃一起列为“年度最具魅力的25人”,一家服饰公司甚至邀请他为新推出的男装代言。然而没过多久,审稿人那里传来了坏消息——论文第3章存在缺陷。起初,怀尔斯以为这又是一个容易修复的小问题,但研究逐渐深入,他意识到这个裂痕足以导致整个体系崩塌。“很长一段时间里,我都以为解决办法近在眼前,但随着时间推移,问题似乎变得越来越棘手。”几个月过去,证明失败的流言逐渐滋长,学界开始向怀尔斯施压,要求他公开证明细节。一年时间毫无进展,1994年9月19日早上,怀尔斯接近崩溃边缘,他准备承认失败,但还是决定做最后一搏——“突然间,完全出乎我的意料,我获得了不可思议的启示。它美得难以言表,简洁而优雅……我不明白自己怎么会错过它,难以置信地盯着它看了20分钟。白天我在系里走来走去,不时回到桌旁看看它是否还在那里。我激动得无法自持。”1637年,费马在阅读丢番图《算术》拉丁文译本时,在书页空白处写道:“我确信我发现一种美妙的证法,可惜这里的空白处太小写不下。”三百多年后的1995年5月,怀尔斯和合作者理查德·泰勒的两篇论文在《数学年刊》上发表,篇幅长达130页。多年沉寂之后,荣誉纷至沓来。虽然年龄超过了40岁而无缘菲尔兹奖,作为替代,怀尔斯在1998年获得了国际数学联盟的特别荣誉,一个史无前例的银质奖章。挪威科学与文学院在2016年阿贝尔奖颁奖词中写道:“他通过半稳定椭圆曲线具有模性质的猜想,令人惊叹地证明了费马大定理,从而在数论领域开创了一个新时代。”在ICBS2024会议期间,中国科学院院士田野、清华大学教授朱艺航对怀尔斯进行了访谈,其中既有对早年研究历程的驻足回望,亦有对晚辈学子的殷殷期许。谈话平实质朴,可以窥见怀尔斯温文尔雅、静水流深的风范。访谈由ICBS独家授权《返朴》进行翻译和整理(访谈视频见文稿开头,配有英文字幕)。