应该是：四色定理,穷举了所有可能.计算机做了200亿次计算完成了穷举证明.
历时时间最长的应该是对尺规做正多边形的条件,提出到高斯给出证明历时2000多年. 应该是：四色定理,穷举了所有可能.计算机做了200亿次计算完成了穷举证明.
历时时间最长的应该是对尺规做正多边形的条件,提出到高斯给出证明历时2000多年.