> > PかつPならばPであるというのを証明したりする勉強を始めた
> ｺﾝﾋﾟｭｰﾀって数学とか人間より得意そうなのに数学者の方が上なんだよな(;´Д`)

そのうち逆転するよ
今は数学の証明用の言語なんかがあるんだけど
近未来には人工知能が証明するだろうね

参考：2017/03/12(日)00時14分35秒