费马方程可构造一个椭圆曲线，它不可被模形式化（一个命题：假定“费马大定理”不成立，即存在一组非零整数a、b、c使得y2=x2\right)”>，那么用这组数构造出的形如x-bn乘以的椭圆曲线，不可能是模曲线。），也就是说谷山—志村猜想将不成立。但弗雷构造的所谓“弗雷曲线”不可模形式化也说不清具体证明细节，因此也只是猜想，被称为“弗雷命题”，弗雷命题如得证，费马大定理就与谷山—志村猜想等价。
1986年美国加州大学伯克利分校的肯·里贝特教授，完成了弗雷命题的证明。
1994年10月25日11点4分11秒，怀尔斯一篇长文“模形椭圆曲线和费马大定理”，作者安德鲁·怀尔斯。另一篇短文“某些赫克代数的环理论性质”作者理查德·泰勒和安德鲁·怀尔斯，至此费马大定理得证。
1995年，他们把证明过程发表在《数学年刊》（annalsofatics）第141卷上，证明过程包括两篇文章，共130页，占满了全卷，题目分别为at’ssttheoreicpropertiesofcertaheckealgebras（某些赫克代数的环理论性质）。
费马大定理与黎曼猜想成为广义相对论和量子力学融合的;而科学的世界本就是疯狂的，正因为费马的重要意义所在，无数人仍旧会去挑战其更深层的意义，也不乏就因此一蹶不振、穷困潦倒，一生直到最后都没什么结果的。
所以唐元这次虽说是踩在巨人的肩膀上，但是他们另辟蹊径的解答和简略了其中的某些步骤，更是选择运用了最新的一些数学思维，从而能够更简单
第一百八十五章 成功证明(4/7)