用编程实现某种结果，这对陈诺来说就太简单了。

只用了两三个小时就搞定了。

搞定了代码部分后，陈诺用电脑跑了一遍，只是短短的几分钟，就找出了数百组的方程。

又花了三四个小时的时间，将手写的论证过程整理成电子档。

至此，欧拉猜想的证明全部完成。

欧拉猜想虽然是错误的，但找出来的这么多的方程，在密码学上有着重要的意义，填补了素数差的空白。