Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers. Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
The four colour theorem is the first well-known mathematical theorem to be proven using a computer, something that has become much more common and less controversial since. Định lý bốn màu là định lý toán học nổi tiếng đầu tiên dược chứng minh sử dụng máy tính, một phương pháp ngày càng thông dụng và bớt tranh cãi hơn từ đó.
Six colors suffice to color any map on the surface of a Klein bottle; this is the only exception to the Heawood conjecture, a generalization of the four color theorem, which would require seven. Sáu màu sắc đủ để tô màu bất kỳ bản đồ trên bề mặt của một chai Klein, đây là ngoại lệ duy nhất để phỏng đoán Heawood, một dạng tổng quát của định lý bốn màu, nhưng sẽ yêu cầu đến bảy màu.
