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

图片地址：https://n.sinaimg.cn/sinakd20200830s/476/w897h379/20200830/9365-iypetiu6071410.jpg

原标题：困扰数学家90年的猜想，被计算机搜索30分钟解决了 来源：量子位关注前沿科技 晓查 发自 凹非寺量子位 报道 | 公众号 QbitAI晓查 发自 凹非寺量子位 报道 | 公众号 QbitAI数学家会代码，就连困扰人类90年的数学猜想也挡不住。来自斯坦福、CMU等高校的4名数学家，直接将一个数学难题转化成了对10亿个结果进行“暴力搜索”。△ 论文作者之一CMU助理教授Marijn Heule他们把这串代码输入40台电脑组成的计算集群，30分钟后，计算机给出了一个200GB大小的证明结果：凯勒猜想在不超过7维的空间上都是正确的。现在，任何人都可以去GitHub上克隆这串代码，验证这一数学定理。比较反转的是，这段获得计算机学术会议IJCAR（国际自动推理联合会议）最佳论文奖的程序，上线GitHub半年，只揽获了一颗星。那么，这4位数学家要证明的“凯勒猜想”到底是什么？为何非