随着人类认知进步，科学进步，数学题的计算计算会发生很大变化，目前已知的应该是：四色定理，穷举了所有可能。计算机做了200亿次计算完成了穷举证明。
历时时间最长的应该是对尺规做正多边形的条件，提出到高斯给出证明历时2000多年。
