斯证明了开普勒猜想。此时，数学家们合作的规模与领域已经是空前的了。例如在1955年到1983年完成的有限 单群分类（即“宏伟定理”），其证明分散在由100多位作者发表的500多篇期刊论文中，完整的论文加起来共有10000多页；一组法国数学家，包括让·迪厄多内和安德烈·韦伊，使用笔名尼古拉·布尔巴基写作，尝试以最极端的严谨和泛化来加以表述全部的已知数学，他们的成果则是几十卷着作，然而这在数学教育上留下了有争议的影响。爱因斯坦在广义相对论中使用微分几何之后，微分几何也得到了一席之地；数学逻辑学、拓扑学，和