>>6
自動証明は論理関係のもののみだし
それ以外はまあ先ず無理だろうな
そもそも証明すべきことを発掘してくるのが数学なんだが
問題を解くことが数学だと誤解してないか？