首先讲讲FTC和质数是啥意思。FTC是费马大定理的简称，说白就是当整数n大于2时，方程xⁿ+yⁿ=zⁿ没有正整数解。质数就是只能被1和自己整除的数，比如2、3、5这些。比如n=2的时候，方程就有解，比如3²+4²=5²，但n超过2就找不到解了，这就是费马大定理的核心。

为啥说这个定理跟质数有关呢？因为数学家们发现，如果证明了某个质数n的方程无解，就能推出所有大于n的质数方程也没解。比如n=3的时候，数学家欧拉在1730年就证明了x³+y³=z³没解，后来在n=5和n=7时也分别由拉梅和勒让德证明无解。到1995年，安德鲁·怀尔斯终于用椭圆曲线和模形式的理论，把所有质数n>2的情况都证明了。数据说话，这跨度用了358年，中间有300多位数学家接力研究，引用的论文超过20万篇，算得上是数学史上最难的证明之一。不过现在随便找个电脑都能算出质数，但证明方程无解还是得靠人类智慧。模拟可能会有标点多加少加的情况，比如“没解”变成“没解没解”，但意思不变。