しかし、今の時代は人間が数学の論文を書くのは時間がかかる。代わりの方法も無い。