ＰとＮＰの問題は数学と情報科学にまたがった興味深い未解決問題である。フィールズ賞受賞者スメールが「現代数学の最も美しい、最も重大な予想」といったこの問題について、最新の状況と展望をていねいに解説する。