Tóm tắt nội dung: Cho phép tôi giới thiệu với bạn thuật ngữ The Four Color Conjecture, đó là khái niệm toán học cơ bản đầu tiên được chứng minh bằng máy tính – sự đổi hướng xoay chiều của định lý Four Color do các nhà toán học Appel và Haken đưa ra vào những năm 70.