生成AIに「AIが四色問題を解いたら、数学者はその解を受け入れられますか」と聞いた
買ったままでおいていた、新潮文庫『四色問題』を読んだ。この本は、四色あれば、あらゆる地図を塗り分けられるという仮説を証明するために数学者たちが歩んだ道のりを描いている。
この仮説を証明するためには、ありえる地図全部にあてはまる論証が必要となる。ある数学者により、有限のパターンそれぞれについて論証できれば、四色問題が解決できることが示された。しかし、そのパターンすべてを人が計算したら、いつまでたっても終わらないほどの膨大な作業が必要となる。
結局、四色問題は１９７６年にコン
