The Four Colour Theorem: The first time machines mogged mathematicians newsletter.pessimistsarchive.org 2 points by list 2 minutes ago https://celebratio.org/Appel_KI/article/796/#sender