四色問題はチェック作業を機械化しただけであり、自動証明とは言えない。
しかし証明に携わった人間によれば、時折コンピュータが
人間以上の「知性」を垣間見せることがあるという…。