Μαθηματική απόδειξη μεγαλύτερη από εγκυκλοπαίδεια

Ένα σημαντικό βήμα προς την απόδειξη ενός μαθηματικού γρίφου πραγματοποίησαν δύο μαθηματικοί με τη βοήθεια ηλεκτρονικού υπολογιστή. Μοναδικό πρόβλημα στην αξιολόγηση της εργασίας τους, είναι πως το αρχείο που περιέχει τις πράξεις τους έχει μέγεθος 13 Gigabyte, όταν για παράδειγμα ολόκληρη η ηλεκτρονική εγκυκλοπαίδεια Wikipedia έχει μέγεθος μικρότερο από 10 Gigabyte.
Keywords
Τυχαία Θέματα