>>13
>コンピュータにも解けてしまうと数学的な価値がないことになる?
>んなアホな

4色問題(グラフ理論)は元々数学じゃないだろ