>  2003/06/14 (土) 00:07:45        [mirai]
> > 四色問題の証明まだぁ?
> もう解かれてる
> まだなのはメジャーなところでは
> ポワンカレ予想、リーマン予想、ケプラー予想あたりか

四色問題ってコンピューターの力技で強引に証明したのであって
ほぼ完全ではあるが完全に解かれてはいないんじゃなかったか

参考:2003/06/14(土)00時06分35秒