此时，董四海院士坐不住了，招呼着众人上前，大手一挥：“小辉，你们把设备给弄好了没？咱们趁着这时间也就别闲着了，就做一下验算吧！”
“这笔记本的算力够么？”
一个教授开口问道。
“管够！网络连接到超算上了，这就是个中转站。”
那位被叫做小辉的工程师回答道。
“咱们现在就是做做不完全验算，只需要证明一下没有绝对的漏洞。”董四海作为地位最高的几个大佬之一，号召力那是杠杠的：“剩下的详细论证，咱们回去再说。”
杜门教授也附和道：“那个详细的验算是需要顶级数学家们花费很长时间才能搞出来的，咱们现在做的是简单验算，排除明显错误。”
随着几个大佬的号召，全体华国数学家们就地开始了验证。
作为东道主，这人手在这，这设备也有，所以得天独厚。
而周围几个国外数学家见状，也加入了进来，验算工作尽然有序的推进着。
他们，想要一起见证这个注定被数学界铭记的时刻。
有了规模化的验算团队，验算的工作可以说是胖五发射速度了。
董四海道：“公式一，过！”
杜门道：“公式二，过！”
袁东道：“公式三，过！”
...
一个青年的秃顶数学见道：“公式十九，过！”
...
“注意了，这个公式的证明验算需要‘三合一’的验算，即逻辑运算一次、反推运算一次，联合运算一次，只有三个都成立了，才算是成立。”
董四海再次强调了一个验算的要求。
众人道：“知道了！”
随着一声声‘过’、‘过了’、‘成立’、‘符合’...声音响起，大家心中都不由的为之振奋。
大家都是数学家，在数学这块，大家都是知道的，很多猛地一看确实能行的公式，是禁不起详细验算的。
所以，这也就是为什么在很多猜想解开后，需要众多的相关数学家进行一次或者多次的庞大且时间线拉的足够长的论证过程，找出隐藏在这其中的错误和漏洞。
因为一旦有一个地方出了问题，那么就证明了下面的论证无效。
后面论证的无论多么惊艳也没有用！
数学需要的是严谨，这也就意味着差一点，一丁点儿都不行的。
并且，有的时候，
…。。