在这篇文章里说"1976年科学家宣称四色猜想被计算机证明"，不过数学不应该是非常严谨的一门学科吗？如果计算机能用来证明数学猜想，如果费马大定理，黎曼猜想，哥德巴赫猜想如果都用计算机随机几个数验证一下就算证明了，那数学的意义是什么呢？？我觉得计算机在证明中只能做一个辅助工具，是验证猜想的进一步过程，而不是当做证明定理的工具