困擾數學家90年的猜想，被計算機搜索30分鐘解決了

曉查 發自 凹非寺 量子位 報道 | 公衆號 QbitAI 數學家會代碼，就連困擾人類90年的數學猜想也擋不住。 來自斯坦福、CMU等高校的4名數學家，直接將一個數學難題轉化成了對10億個結果進行「暴力搜索」。 △ 論文作者之一CMU助理教授Marijn Heule 他們把這串代碼輸入40臺電腦組成的計算集羣，30分鐘後，計算機給出了一個200GB大小的證明結果： 凱勒猜想在不超過7維的空間上都是

>>阅读原文<<