Bigness (Part 3)
Azimuth 2020-04-14
Summary:
Last time I talked about a 200-terabyte proof, completed in 2016, that the journal Nature called the “largest ever”. But Michael Nielsen pointed me to a vastly longer proof from 2012. This one required about 60,000,000 terabytes—that is, 60 exabytes! So, they were unable to store the whole proof. Let’s pause to contemplate what 60 […]