有史以来大的数学证明:数据多达200TB

目前已经有很多数学家使用计算机辅助证明数学问题,但这个200TB大小的证明还是让数学家们吃了一惊。UCSD的数学家Ronald Graham表示,在此之前,世界上大的数学证明是关于一个离散数学的问题,只有13GB大。【详细】

数据  数学证明  2016-06-14

有史以来大的数学证明:数据多达200TB