思い切って断言すると 要するに これまでのコンピューターは非力すぎた のだと考えます。 彼らは「時代を先取りしすぎていた」のでしょう 参考: 証明の簡略化 (1996 年, N.Robertson 等の結果) http://www.math.gatech.edu/%7Ethomas/FC/fourcolor.html (共著者の R.Thomas のページ)