绕着可约性验证进行的。
在这一过程中，诸如计算机这样的新工具对简化运算带来了很大帮助
良好的工具对科研会提供良好的助力
然鹅工具太先进也不是什么好事情！
章杉从系统图书馆内总共看到了9种全新的证明方法。
然而有六种都没办法使用！
利用量子计算机证明是什么鬼？
现有根本没有合适的量子计算机，难道为了这次证明发明点新工具。
还有利用特子计算机证明是什么鬼！这就超出章杉的想象力了。
再几种更是没眼看
这就很离谱！
不过好在还是有三种能用的方法的
只是利用现有的工具即可，证明思路也很巧妙。
这就很nice了