是的.
费尔马大定理神秘的面纱终于在1995年揭开,被43岁的英国数学家怀尔斯(A.Wiles)一举证明.
你可以在下面这个网页中看到全部证明过程（英文）
以下是参考资料：
1637年,费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的.关于此,我确信已发现 一种美妙的证法 ,可惜这里空白的地方太小,写不下.”毕竟费马没有写下证明,而他的其他猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣.数学家们的有关工作丰富了数论的内容,推动了数论的发展.
对得多不同的 n,费马定理早被证明了.但数学家对一般情况在首二百年内仍一筹莫展.
1908年,德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人.
1983年,Gerd Faltings 证明了 Mordell conjecture 从而得出当 n > 2 时（n为整数）,不存在互质的 a,b,c 使得 an + bn = cn.
1986年,Gerhard Frey 提出了“epsilon 猜想”：若存在 a,b,c 使得an + bn = cn,即费马大定理是错的,则椭圆曲线
y2 = x(x-an)(x + bn)
会是谷山志村猜想的一个反例.Frey 的猜想随即被 Kenneth Ribet 证实.此猜想显示了费马大定理与椭圆曲线及 modular forms 的密切关系.
1995年,怀尔斯和泰勒在一特例范围内证明了谷山志村猜想,Frey 的椭圆曲线刚好在这一特例范围内,从而证明了费马大定理.
怀尔斯证明费马大定理的过程亦甚具戏剧性.他用了七年时间,在不为人知的情况下,得出了证明的大部分；然后于1993年6月在一个学术会议上宣布了他的证明,并瞬即成为世界头条.但在审批证明的过程中,专家发现了一个极严重的错误.怀尔斯和泰勒然后用了近一年时间尝试补救,终在1994年9月以一个之前怀尔斯抛弃过的方法得到成功.他们的证明刊在1995年的Annals of Mathematics之上.