http://science.slashdot.org/article.pl?sid=06/08/16/0144202
元論文を三年かかって検証して正しいようだ、ということが分かったとのこと。証明ステップを分割して複数人で検証すればいいのかな。いやはや。
始めの証明も第一発見者の名誉とか置いといて、予想される証明の道筋ができたらSETI@HOME的にやりたい人がやりたい部分を詰めていけば短時間でできたんじゃないか。ネットで大々的にやれば抜け駆けして論文にする奴がいても総すかん食らうからやらないだろうし。どうせ金にならない話なんだし。P=NP は金になるから無理だろうけど。下手するとゴルゴ１３に撃たれるかもしれん。
