数学の論文って、コンピューターで論理破綻を見つけ出すこととかできないかね? まぁ将来的にの話だが・・・