We look at a breakthrough 2017 proof and the mathematics leading up to it.

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. This week at the HLFF Blog, Sophie Maclean explores the history and mathematics behind this record-breaking proof, including dives into Ramsey’s Theorem und Schur’s Theorem.

Check out the full article here: HLFF Blog

Image caption: Issai Schur. Image credit: Mathematisches Forschungsinstitut Oberwolfach gGmbH (MFO) (CC BY-SA 2.0 DE).