「arxiv に P≠NP 問題を解決した論文が投稿される」記事へのコメント

論文中の間違いの具体的な指摘

[fromage (48081)]

この論文が検証されている中で、間違いの具体的な指摘が2つ出てきました。
(1) 論文の中で基盤となっている定理を示した研究者である Alexander Razborov 教授が、論文中の矛盾を指摘しました（Razborov 教授の知人による投稿 [stackexchange.com], それを紹介している山形頼之氏のツイート [twitter.com]）。
今回の論文が参考にしている先行研究である Berg and Ulfberg による議論（単調回路に対する下界を示すのに CNF, DNF の両方を使う方法）は Tardos の関数についても成り立つが、それは今回の論文の定理 6 と矛盾するので、この論文は必然的に間違いになる、と説明されています。
(2) 今回の論文の定理 6 の証明における帰納法に誤りがある（詳細 [stackexchange.com]、 山形頼之氏のもう1つのツイート [twitter.com]）とのことです。