In 2017, the record for the largest mathematical proof hit a new high. Using a computer, a theorem was proven in a proof that used 2 petabytes of space. That is 2 x 10^15 bytes of space. It is this problem that I would like to share with you today. Read more
