80 χρόνια
Ένα μοντέλο τεχνητής νοημοσύνης έκανε αυτό που δεν μπορούσαν άνθρωποι για 80 χρόνια
Το σύστημα έδειξε ότι ο διάσημος μαθηματικός Paul Erdős έκανε λάθος. Η απόδειξη βασίστηκε σε μια έξυπνη τροποποίηση του αρχικού πλέγματος, χρησιμοποιώντας αλγεβρικούς ακεραίους και χώρους υψηλών διαστάσεων.