还有4个问题由于太含煳，因此不能判断有没有解决。此时，历史上有名的不少数学猜想也终获证明。1976年，沃夫冈·哈肯和凯尼斯·阿佩尔使用计算机证明了四色定理。安德鲁·怀尔斯在他人工作的基础上成功证明了费马大定理。保罗·寇恩和库尔特·哥德尔则证明了，连续性假设本身是独立于标准公理化集合论而存在的（也就是既不可能从中证明，也不可能从中反证）。在1998年，托马斯·黑尔斯证明了开普勒猜想。此时，数学家们合作的规模与领域已经是空前的了。例如在1955年到1983年完成的有限 单群分类（即“宏伟定理”），其证明