Deolalikarの2010年の証明は

最近、P ≠ N Pである$P \ne NP$という主張された証拠がありました。公開後まもなく、この証明に関していくつかの問題が提起されました。

だから...証明は正しいですか？（証拠がある場合にのみこれに回答してください...この質問は、回答されるまでしばらく時間がかかる場合があります）

一言で言えば、いいえ。

Deolalikarが提案した証明にはいくつかの致命的な欠陥があるようです。ここで本当の問題は、「証明」に基づいて構築できる有用なアイデアがあるかどうかです。いずれにせよ、現在の形の証明は単に正しくなく、また修正もできないようです。一方、デオラリカーは証明をあきらめていないので、それで終わりではないと思います。

ここで更新を見つけることができます：http : //rjlipton.wordpress.com/2010/08/15/the-p%E2%89%A0np-proof-is-one-week-old/

wikiを参照してください。

RL Liptonのすばらしい記事は、Communications of the ACMにあります。