Η μεγαλύτερη απόδειξη μαθηματικών όλων των εποχών έχει μέγεθος 200 Terabytes

Ένας υπερυπολογιστής πραγματοποίησε τη μεγαλύτερη απόδειξη μαθηματικών σε μόλις 2 ημέρες. Το μέγεθος του αρχείου που περιέχει την υποβοηθούμενη από υπολογιστή απόδειξη αγγίζει τα 200 ​​terabytes