>>458
そういうAIは当分できないよ

数学の証明は論理の積み重ねだけど
最近流行りのDeepLearningとかは解を得るのに論理的な思考をしているわけではない
「理由は説明できないけど何となくそう思う」という類の思考