从深渊开始拯救世界

证明21955年，范迪维尔以电脑计算证明了21976年，瓦格斯塔夫以电脑计算证明21985年，罗瑟以电脑计算证明21987年，格朗维尔以电脑计算证明了21995年，怀尔斯证明n>2时定理成立。虽然是个丢番图方程，但是怀尔斯却没有用代数学的知识去破解。而是用了一个很神秘的工具，就是谷山丰志村五郎定理中的一个情况去证明的。谷山丰志村五郎定理是指所有的模形式与椭圆曲线是一一对应的，这个理论极为神秘，但却