Η μεγαλύτερη απόδειξη στην ιστορία των Μαθηματικών φτάνει τα 200 terabyte

Λονδίνο Και τώρα βγάλτε μια κόλλα χαρτί. Ή μάλλον βγάλτε μερικά εκατομμύρια κόλλες. Τρεις μαθηματικοί καμαρώνουν για τη μεγαλύτερη απόδειξη μαθηματικού προβλήματος, ένα τερατώδες αρχείο