90年历史的凯勒猜想被数学家利用计算机解决

•

具体的逻辑演算过程过于庞杂，已经无法为人类所理解