【 在 PlayerUnkwn (’s Battlegrounds) 的大作中提到: 】
: 标  题: 困扰数学家90年的猜想，被计算机搜索30分钟解决了
: 发信站: 水木社区 (Sun Aug 30 23:27:06 2020), 站内
:
: 他们把这串代码输入40台电脑组成的计算集群，30分钟后，计算机给出了一个200GB大小
: 的证明结果：
:
: 现在，任何人都可以去GitHub上克隆这串代码，验证这一数学定理。
然而任何人都不是随随便便就能找到40台电脑做计算
--
FROM 117.140.169.*