＞機械的検証を信用しない数学者なんてもういないだろ。

ビル・サーストンは信用してないみたいだけど。