困扰数学家90年的猜想，被计算机搜索30分钟解决了

晓查 发自 凹非寺 量子位 报道 | 公众号 QbitAI 数学家会代码，就连困扰人类90年的数学猜想也挡不住。 来自斯坦福、CMU等高校的4名数学家，直接将一个数学难题转化成了对10亿个结果进行“暴力搜索”。 △ 论文作者之一CMU助理教授Marijn Heule 他们把这串代码输入40台电脑组成的计算集群，30分钟后，计算机给出了一个200GB大小的证明结果： 凯勒猜想在不超过7维的空间上都是

>>阅读原文<<