Καταλαμβάνει περίπου 200 terabytes. Χώρος που ισοδυναμεί με όλα τα ψηφιοποιημένα κείμενα της τεράστιας Βιβλιοθήκης του Κογκρέσου των ΗΠΑ.
Οι τρεις επιστήμονες για να…χρυσώσουν το χάπι παρουσίασαν επίσης μια συμπυκνωμένη εκδοχή της απόδειξής τους για το πρόβλημα (Boolean Pythagorean Triples), η οποία καταλαμβάνει χώρο «μόλις» 68 gigabyte. Εννοείται ότι κανένας άνθρωπος δεν θα μπορούσε να διαβάσει πλήρως ούτε αυτή τη… σύντομη απόδειξη.
Το προηγούμενο ρεκόρ, σύμφωνα με το «Nature», θεωρείται ότι κατείχε μια μαθηματική απόδειξη που είχε δημοσιευθεί το 2014 και «έπιανε» μόνο 13 gigabyte.
Όλες αυτές οι αποδείξεις δεν προέρχονται από ανθρώπους, αλλά αποτελούν έργο ηλεκτρονικών υπολογιστών. Συνεπώς μόνο άλλοι υπολογιστές θα μπορούσαν να τις διαβάσουν στην ολότητά τους. Όσο κι αν μαθηματικοί έχουν πια συνηθίσει σε αποδείξεις-γίγαντες, ο μαθηματικός Ρόναλντ Γρκάχαμ του Πανεπιστημίου της Καλιφόρνια-Σαν Ντιέγκο δήλωσε ότι «200 terabytes είναι κάτι απίστευτο».
