We compare the values associated with (traditional) community based proof verification to those associated with computer proof verification. We propose ways that computer proofs might incorporate successful strategies from human experiences.

翻译：本文将（传统）基于社区的证明验证与计算机辅助的证明验证所关联的价值进行对比。我们提出计算机证明可借鉴人类实践中的成功策略加以融合的途径。