猜想是定义方程模上的椭圆曲线，最终得出‘所有有理数域上的椭圆曲线都是是模的’结论。

怀尔斯一直在做谷山志村猜想的论证研究，而谷山志村猜想的一部分，恰好和费马猜想直接相关。

怀尔斯证明费马猜想的过程，也是围绕着谷山志村猜想展开的。

在弄懂了一些基础知识，外加谷山志村猜想、伽罗华理论后，赵奕发现再去看怀尔斯的证明过程，也终于能搞懂一些内容。

当然了。