PCの性能が上がった今の時代、
四色問題の証明の検証はアマチェアでも手が届くネタですか?