数学家会代码，谁也挡不住！就连困扰人类90年的数学猜想也挡不住。
来自斯坦福、CMU等高校的4名数学家，将一个数学难题转化成了对10亿个结果进行“暴力搜索”。
△ 论文作者之一CMU助理教授Marijn Heule
他们把这串代码输入40台电脑组成的计算集群，30分钟后，计算机给出了一个200GB大小的证明结果：
凯勒猜想在不超过7维的空间上都是正确的。
现在，任何人都可以去GitHub上克隆这串代码，验证这一数学定理。
比较反转的是，这段获得计算机学术会议IJCAR（国际自动推理联合会议）最佳论文奖的程序，上线GitHub半年，只揽获了一颗星。
那么，这4位数学家要证明的“凯勒猜想”到底是什么？为何非要用计算机来证明？计算机证明的结果可靠吗？
下面让我们一一道来。
什么是凯勒猜想
假如用一批完全相同的正方形瓷砖铺满地面，中间不留空隙。显然，瓷砖之间会共用一条边，如下图蓝线所示：
在3维空间中，如果要用立方体占满空间，是不是也和2维空间类似呢？
想象一下，如果像下图那样在空间中随便放入几个立方体，由此展开填满整个空间，那么唯一的办法就是让接上的立方体共用蓝色的面。
2维、3维皆如此，更高维度的空间会怎样？
