在数学的历史长河中，有许多谜题和猜想曾让无数数学家为之着迷，而“费马大定理”无疑是其中最著名、也最引人注目的一个。这个看似简单的方程背后，隐藏着长达三百多年未解的数学难题，直到最终被一位数学家成功解开。

那么，费马大定理是在哪一年证明的？答案是：1994年。不过，这一结论并非一蹴而就，而是经过了漫长的研究与反复验证才得以确认。

费马大定理最早由17世纪法国数学家皮埃尔·德·费马提出。他在阅读古希腊数学家丢番图的《算术》一书时，在书页边缘写下了一个著名的猜想：“对于任何大于2的整数n，方程xⁿ + yⁿ = zⁿ都没有正整数解。”然而，费马随后又写道：“我确信已发现一种美妙的证法，可惜这里空白太小，写不下。”这句话成为了数学史上最具诱惑力的谜题之一。

此后三百年间，无数数学家试图证明这一命题，但都以失败告终。尽管许多数学家对特定的指数n（如n=3、n=4、n=5等）进行了验证，但始终无法找到一个普适性的证明方法。

直到20世纪后期，英国数学家安德鲁·怀尔斯（Andrew Wiles）开始专注于这一问题。他花费了整整七年时间，在几乎与世隔绝的状态下，潜心研究，最终在1993年首次公开宣称自己找到了证明的方法。然而，这一成果在后续的审查过程中暴露出了一些漏洞，这让怀尔斯不得不重新回到实验室，继续完善自己的证明。

经过一年的努力，怀尔斯在1994年彻底解决了这些问题，并在1995年正式发表了完整的证明。他的工作不仅证明了费马大定理，还推动了现代数论的发展，尤其是在椭圆曲线和模形式之间的联系方面取得了重大突破。

因此，费马大定理是在哪一年证明的？答案明确无误——1994年。虽然最初的宣布是在1993年，但真正完成并得到广泛认可的证明则是在1994年。这一成就不仅是数学史上的里程碑，也是人类智慧与毅力的象征。

如今，费马大定理已经被公认为数学史上最伟大的成就之一，而怀尔斯的名字也因此被永远铭刻在数学发展的历史中。