>>698
オセロが無理なら数学の定理はもっと無理だよって話で。
全数探索が簡単という話じゃなくて、
一般に困難だといわれている全数探索以上に、
数学者の思考を機械で置き換えるのは無理だよ、と。