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

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