新智元报道编辑，Aeneas好困，新智元导读，39年来一个看似理所当然的数学理论，刚刚被数学家证伪！UCLA和MIT的研究者证实，概率论中众所周知的假设，上下铺猜想，是错的，有趣的是，他们用AI已经证...