怀尔斯在1996年破解费马大定理之后，没有停止自己的步伐。
他发现，不仅仅是费马定理不成立，还有很多方程也可以使用自己的模形式来证明是不成立的。
他不管太多了，他自己去用自己的方式去寻找很多多变量多项式。
怀尔斯需要找到一个遍历的方法来找到所有的多项式是否有整数解的问题。
哪个有解，哪个没有解？一一列举出来，给后人行个方便。
这也是千禧年难题的BCS难题。
这还的需要对椭圆曲线和模形式理论有深刻理解才行。
怀尔斯找到很多古怪的数学家，他们一起制造了多种定义多项式的遍历。
写了一本书，叫《哪个方程有整数解，哪个没有？》
上面的无非三种情况，一种是有整数解，一种是没有，一种是由于BCS尚未破解，还不知道。
