了验证，本质上做的是计算机形式验证方面的工作，不是正式证明。

周易需要做的工作就是先正式证明开普勒猜想，继而解决十八问。

之前周易试过用积分试着完全领悟，但是系统提示积分不够。

现在周易也试了一次，积分也不够。

要知道，一个多月以来，周易数学水平已经直线上升了，积分竟然还不够，这就很说明问题了。

而且现在还不是发出去的时候，先镇压了水木上京那帮本科