How do they verify that because even if it’s as simple as addition, you may have hardware anomalies that appears, just look at divisions and floating points weirdness on certain hardware
So, you run your big calculation to get all XXX trillion digits on one machine, and run a completely different calculation to check, say, 1000 of those digits. If all match it's a pretty convincing argument that the calculation is correct.