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ả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.