仍然是有史以来最好的论文之一。 > 在强大的计算机上运行,给出了反例 > 无需详细说明