积中最密堆积，约为百分之七十四。开普勒猜想是关于此最著名的一个猜想，这个猜想直到了2014年，才由黑尔斯引导完成了形式化证明，而完成这个证明黑尔斯用了足足六年, 从1998年提出穷举法, 到之后引用超级计算机运算。

    可以说这个证明复杂非常, 而这仅仅是三维，从理论上来讲，每上升一个维度计算的难度和工程量都会上升，而洛叶却要反其道而行, 想用简单的方式来证明, 就像是布伦德证明的武义-劳森猜想，在八维的尝试证明中，洛叶不甚满意，等扩展到了她现在进行二十四维，更不满意了。

    而她无法找到一条更为简单的路径，在接连听了布伦德和威腾的报告后, 让她有了新的想法。

    既然从抽象代数的角度找不到更优的路径，那不如引入其他理论。

    洛叶决定多去听一听报告。

    洛叶第二天听的报告是一位女数学家，玛杨·莫扎尼卡，在数学界中女数学家很少，顶尖的女数学家更少，而莫扎尼卡就是其中一位堪称顶尖的数学家，最为擅长的领域是黎曼曲面，模空间，几何学。

    她做的报告是关于双曲面的。

    双曲面状似甜甜圈，拥有两个洞以上的曲面，它可以说在三维空间无法存在，只存在于数学家想象中的抽象空间，曲面的距离和角度只能以一组特殊的方程来测量，如果双曲面上存在虚拟生物，那生物在双曲面上的任意一点都像是鞍部。

    它自从出现就成了几何学的中

本章还未完，请点击下一页继续阅读>>>