>>327
コンピュータを援用して証明されたことを言ってるんじゃないんだよ。
ずっと昔に四色定理は「証明」されたと思われてたんだけど、
よく証明を読むとギャップがあって、五色で塗りつぶせることしか
示せてないことが分かった。
その後計算機を使って本当に四色定理が示されるまで、
長い時間がかかることになる。

>>329
知ったかはどっちだろうね