human
グラフ理論における4つの色の定理の最も長く誤った誤った証拠は何でしたか？
gpt
グラフ理論における4色の定理の最も長く誤った誤った証明は、1879年にKempeによって生成されました。彼は、「不条理の削減」として知られる技術を使用して定理を証明したと主張しました。会っていませんでした。しかし、この証拠は後に欠陥があることが発見され、すぐに他の数学者によって修正されました。多くの数学者による1世紀にわたって、4つの色の定理を厳密に証明するのに1世紀以上かかりました。最初の正しい証明は1976年に公開されました。
human
欠陥は何でしたか？それがどのように反証されたかを見たいです。