夫冈·哈肯和凯尼斯·阿佩尔使用计算机证明了四色定理。安德鲁·怀尔斯在他人工作的基础上成功证明了费马大定理。保罗·寇恩和库尔特·哥德尔则证明了，连续性假设本身是独立于标准公理化集合论而存在的（也就是既不可能从中证明，也不可能从中反证）。在1998年，托马斯·黑尔斯证明了开普勒猜想。此时，数学家们合作的规模与领域已经是空前的了。例如在1955年到1983年完成的有限 单群分类（即“宏伟定理”），其证明分散在由100多位作者发表的500多篇期刊论文中，完整的论文加起来共有10000多页；一组法国数学家，包括让