The Four Colour Theorem: The first time machines mogged mathematicians

https://celebratio.org/Appel_KI/article/796/#sender