前沿 有史以来最大的数学证明：数据多达200TB 2016 年 5 月 28 日 0 gsh0913 德克萨斯大学的三位计算机科学家宣布他们完成了世界上最大的数学证明：完整证明有200TB大小。公开供人… Read more
