数学家用了100多年的时间才给出了真正的证明,所用的计算机证明也登上了数学舞台。例如,一个起源于收音机广播电台的问题:在一个无限大的网格纸上填入数字,同一个数字之间的“距离”必须大于这个数字本身,那么最少需要多少个数字能覆盖整个平面?