「P(解くのが簡単)とNP(確認が簡単)は等しくない(P≠NP)」と予想しています。つまり、「確認は簡単でも、解くのが非常に難しい問題は存在する」もしP=NPと証明されれば、セキュリティに使われる暗号が破られるリスクが生じる一方、最適な薬の組み合わせや物流効率化といった複雑な問題が高速に解決できるようになる可能性があります。