但事情并没有在这里结束,接下来的生长仍然像惊险小说一样,悬案得破,但案犯并不等闲束手就擒。怀尔斯长达200页的手稿投交到《数学发明》杂志,开端了庞杂的审稿过程。这是一个特大型的论证,由数以百计的数学计算通过数以千计的逻辑链环错综庞大地构造而成。只要有一个计算出不对或一个链环没衔接好,全部证明将能够落空其代价。
20世纪,数学开端转向各种分歧的研讨范畴并获得不凡进步。1908年,德国实业家沃尔夫斯凯尔为将来能够霸占费马大定理的人设立了奖金,但是,一名不着名的数学家却仿佛毁灭了大师的但愿:因为这个题目是如此困难,提出不完整性定理的哥德尔乃至思疑这是一个在现有算术公理体系中没法处理的题目。
曙光在前,但并没有人对拂晓的到来抱有信心,谷山-志村猜想已经被研讨了30年,都以失利告终,现在与费马大定理联络在一起,更是连最后的但愿都没有了,因为,任何能够导致处理费马大定理的事情按照定义是底子不成能实现的——这几近已成定论。
苦心孤诣的安德鲁-怀尔斯颠末七年用心尽力,完成了谷山-志村猜想的证明。1993年6月23日,剑桥牛顿研讨所,他开端了本世纪最首要的一次数学讲座,每一个对促进费马大定理证明做出过进献的人实际上都在现场的房间里,两百名数学家被惊呆了,他们看到的是,三百多年来第一次,费马的应战被征服。