本家 /. 記事によれば、HP Labs の Vinay Deolalikar 氏が P≠NP 予想の証明に関する 100 ページに上る論文の草稿を複数名の様々な分野の研究者に送っており、今週中にも最終稿が公開されるとのこと。 Scribd で公開されている論文は本人のあずかり知らぬところでアップロードされたものらしく、また、Deolalikar 氏は過去にもこの分野の論文をいくつも執筆しているようです。P≠NP 予想は 2000 年にクレイ数学研究所のミレニアム懸賞問題の一つに挙げられており、100 万ドルの懸賞金がかけられています。 タレコミ人は門外漢なので重要そうとしか知りません。この予想それ自体の意味とか、証明の意義とか、コメントお願いします。