>>449
はいはい。ソースはないわけね。
それに、二十年前に機械検証を信用しなかった数学者ならいくらでもいるしな。

＞426 名前：１３２人目の素数さん[] 投稿日：2005/09/30(金) 09:53:06
＞＞機械的検証を信用しない数学者なんてもういないだろ。
＞
＞ビル・サーストンは信用してないみたいだけど。