>>880
>証明の機械による検証が可能となりつつある。
10年後には機械証明が出来て、数学者が不要になる。