提出“ε-猜想”：若存在formula_3使得formula_4，即如果费马大定理是错的，则椭圆曲线会是谷山-志村猜想的一个反例。格哈德·弗赖的猜想随即被肯尼斯·阿兰·黎贝证实。此猜想显示费马大定理与椭圆曲线及模形式的密切关系。1995年，安德鲁·怀尔斯和理查·泰勒在一特例范围内证明谷山志村猜想，弗赖的椭圆曲线刚好在这一特例范围内，从而证明费马大定理。怀尔斯证明费马大定理的过程亦甚具戏剧性。他用七年时间，在不为人知的情况下，得出证明的大部分；然后于1993年6月在一个学术会议上宣佈他的证明，并瞬