细节的论证结果进行了演算。

这是报告会中没有的。

在费马猜想的报告会中，赵奕谈到一些简单的逻辑推理，或者是一些运算、变换步骤，都是直接一带而过的，简单的逻辑推理不用多解释，能明白的人瞬间就能理解，不能明白的人讲解也没意义，运算上来说则是太复杂，只是说明步骤都需要很多时间，就干脆直接给出了结论。

如果给出的结论是错误的，自然就说明赵奕的证明是有问题的，对细节进行验算还是很有必要的。

这个过程很耗费时间。

汤姆森用了一天半的时间，才完成了一半儿的运算，有些公式变换、函数代换的部分，因为没有详细的解答步骤，还需要自己去推断、思考，就干脆暂时选择放弃。

不过验算进行到这里，发现能简单算出来的，都是完全正确的，他也可以暂时得出结论。

“证明是严谨而精致的。”

汤姆森接受采访时说道，“我之所以用‘精致’来形容，是因为证明过程逻辑清晰，没有任何多余的步骤，纵观整个过程，每一个部分的目的都很明确的。”

“虽然还没有完成所有的演算，但我相信是正确的。”

“恭喜赵奕！”

“他也是我的朋友，我很高兴看到他又完成了一项最顶级的数学成果！”

汤姆森发表看法就是个开端。

之后好多的数学家都纷纷发表看法，表现说没有在证明过程中看到问题，并认为证明是完全正确的。

但他们不敢百分百确定。

因为未讲解的计算内容里，有些还是很复杂的，他们并没有全部验算出来，只能确定过程的缜密。

数学证明来说，到这里就可以确定是正确的了，计算的内容确实可能出错，但大致上没有问题，最少说明所采用的方法是正确的，是能够解决问题的。