Firefargeteoremet ble det første store matematiske beviset der datamaskiner overgikk menneskelige matematikere, og markerte et vendepunkt i matematikkens historie.
Kilde: https://newsletter.pessimistsarchive.org/p/the-1st-time-machines-mogged-mathematicians