进的仪器，而且很新。
甚至很多设备要比谷歌实验室的更为先进。
到不是因为谷歌没钱，关键是这个时代产品更新迭代太快了些。
一套实验室设备买下来总得用上几年，在豪气也不可能说是一年一换，最多就是新款的功能想办法升级在旧款上。
如果只是软件层面的设计到还好，但是牵扯到硬件的改动升级就会很麻烦，而且即便升级成功，其效率往往也没法跟新款相比。
所以新的实验室这方面往往能占不少便宜。
更让约翰满意的是，实验室里所有工作人员综合素质都很高。
起码人人都能说一口流利的英文，完全无需担心沟通问题。
当然最满意的依然是小智了。
看完小智，大致参观了一圈实验室，约翰·马丁尼斯便直接投入到工作之中。
说工作其实不太准确，主要还是验算小智的成果。
计算效率是一方面，计算的准确性显然比效率更重要。
而且对于一名合格的科学家而言，不能尽信别人说的话，自己验证的结果才是最值得信任的。
让经典电子计算机计算一个大整数的质因数很困难，但在已经得出结果的情况下反向验证却