涛应该也是个经常使用电脑的高手。
这完全是可以理解的，毕竟当今的数学理论越来越高深，也越来越复杂，很多数学理论的验证是需要大量的运算的，甚至有的理论运算量是天文数字，人力再强，也几乎是无法独立完成如此海量的运算的！
所以如今像郭海涛这样的顶尖数学家会借助微机进行编程运算是再正常不过的事情。