ミレニアム懸賞問題をやさしく解説：数学を変えた7つの問い

2000年、マサチューセッツ州の民間財団であるクレイ数学研究所は、7つの数学の問いそれぞれの解決に100万ドルの賞金をかけました。簡単な問いではありません。現役の最も優れた数学者たちがすでに挑んで解けずにいた、中には1世紀以上も未解決だった問題です。26年たった今、6問はまだ未解決、1問は解決済み、そしてもう1問は2026年10月2日時点で、非常に興味深い「中間」の状態にあります。7つの問題がそれぞれ実際に何を問うているのかをわかりやすい言葉で説明し、今それぞれがどこまで来ているのかを正確にお伝えします。

1. リーマン予想

問いを一言で：素数（2、3、5、7、11、13…）が、数が大きくなるにつれてまばらになっていく仕方には、隠れた正確な規則があるのでしょうか？

素数は1つずつ見ると散らばっていて予測できないように見えますが、その分布と直接結びついた特別な数学的対象があります。それがリーマンのゼータ関数です。リーマン予想は、この関数の「非自明な零点」（関数の値が0になる特定の点）が、すべて1本の決まった直線上にあると予想しています。これが正しければ、素数がどれほど均等に散らばっているかを、現在証明されているどんな結果よりもはるかに正確に決められます。

たとえ話の限界：「素数そのものの中に規則を見つける」ことだと考えたくなりますが、実際にはこの予想は、素数についての情報を符号化した、別に構成された関数についての主張です。「素数は1つおきに…」のような直接的な規則ではありません。

なぜ重要か：数論の広い分野が、すでにリーマン予想が正しいことを前提にして、その上に結果を積み上げています。証明されれば、何百もの既存の結果が「リーマン予想が正しければ正しい」から、ただの「正しい」へと一挙に格上げされます。

現状：未解決。10兆個を超える零点がコンピュータで確認され、そのすべてが予想どおりの直線上にあります。例外は一度も見つかっていませんが、例外が決して存在しないという証明もありません。

2. P対NP問題

問いを一言で：ある問題の答えが、手元にあればすぐに確かめられるなら、その答えは最初から常にすぐ見つけられるのでしょうか？

巨大な数独や、500の都市を回る最短の配送ルート探しを思い浮かべてください。完成した数独を確かめたり、あるルートが目標の長さ以下かを確かめたりするのは、ほとんど一瞬です。ところが、問題が大きくなるにつれて、ゼロから実際に解くのには桁違いの時間がかかるように見えます。可能性の数が爆発的に増えるからです。P対NP問題は、この確かめることと解くことの差が、数学の根本的で避けられない事実なのか、それとも誰もまだ十分に巧妙な方法を見つけていないだけなのかを問うています。

なぜ重要か：ほぼすべてのパスワード、すべての安全なウェブサイト、すべての暗号化されたデータは、ある種の問題が「確かめるのは簡単だが解くのは難しい」ことに依存しています。もしP = NPが証明され、本当に速い方法が存在したなら、現代の暗号の大部分を一から作り直す必要があるでしょう。

現状：未解決。コンピュータ科学者の圧倒的多数はP ≠ NP（その差は本物で永続的）だと考えていますが、どちらの方向にも証明した人はいません。

3. ナビエ–ストークス方程式の解の存在と滑らかさ

問いを一言で：流体（水、空気など流れるものすべて）の動きを表す方程式は、いつまでも行儀よく振る舞い続けるのでしょうか？それとも、完全に滑らかな初期の流れが、有限の時間で突然、無限の速さや乱れへと「爆発」することがありうるのでしょうか？

ナビエ–ストークス方程式は、天気予報モデル、航空機の設計、海流の計算を支える数学で、物理学者や技術者がいつも使い、実用上大きな成功を収めています。一度も証明されていないのは、方程式そのものがあらゆる場合に数学的に信頼できるかどうかです。滑らかで妥当な初期条件から出発すれば、常にいつまでも滑らかで意味のある答えを出し続けるのか。それとも、物理的には何もおかしなことが起きていないのに、数学のほうが破綻する（「特異点」が生じる）ことがありうるのか、という問題です。

2026年10月2日時点の現状：まさに中間の状態です。2026年9月、この問題に関する結果が発表され（複数のメディアはOpenAIの研究と関連づけて報じました）、滑らかな初期の流れが有限時間で実際に爆発する例が提案されました。クレイ数学研究所は2026年9月11日、この問題は「どうやら決着したようだ」（「apparently been settled」）と応じました。一方で、評価プロセスは「意図的に急がない」（「deliberately unhurried」）ものだとはっきり述べています。これは賞の正式授与と同じではありません。下のボックスをご覧ください。

4. ヤン–ミルズ理論の存在と質量ギャップ

問いを一言で：素粒子物理学の標準模型を支える数学を、完全に厳密な土台の上に築けるのか。そしてそうできたとき、その理論が許すいちばん軽い粒子の質量が、実験で観測されているとおり厳密に正（「質量ギャップ」）であることを正しく予言するのでしょうか？

大学院発展

物理学者はヤン–ミルズ理論を日常的に使っており、実験と驚くほどの精度で一致しています。欠けているものは2つあります。1つは、理論そのものの完全に厳密な数学的構成、つまり物理学者よりもむしろ数学者が求める隙のない土台です。もう1つは、この質量ギャップが実際に観測されるだけでなく、理論によって必然的に存在することの証明です。

なぜ重要か：この問題は物理学と純粋数学のちょうど接点にあります。解決すれば、現代物理学の数学的構造が経験的に成功しているだけでなく、論理的にも健全であることの、これまでで最も深い確認の一つになるでしょう。

現状：未解決。多くの数学者が、7問の中でも最も難しく、技術的に最も高度なものの一つと考えています。

5. ホッジ予想

問いを一言で：多項式の方程式からつくられる、ある「行儀のよい」図形の族について、その「自然な」内部構造はすべて、期待どおり、より単純な代数的な部品から実際に生じているのでしょうか？

大学院発展

これは代数幾何学、つまり多項式の方程式で定義される図形を研究する分野の問題です（下で出てくる楕円曲線も同じ仲間です）。ある種の図形には、位相幾何学（伸ばしたり曲げたりしてよい、とても柔軟な意味での形の研究）で記述できる内部の特徴があります。ホッジ予想は、ある決まった行儀のよい種類の図形については、そうした位相的な特徴のどれもが、代数的な部品（それ自体が多項式の方程式の解になっている部分図形）から直接組み立てられると予想しています。同じ図形を見る2つの異なる見方、つまり位相的な見方と代数的な見方が、常に一致するのかという問いなのです。

現状：未解決。一般の人に向けて正確に述べることさえ最も難しい問題の一つと広く考えられています。多くの特別な場合には証明されていますが、一般的な規則としては証明されていません。

6. バーチ・スウィンナートン＝ダイアー予想

問いを一言で：ある特別な種類の曲線（「楕円曲線」）について、それが整数解や分数解をいくつ持つかを、関連する関数のふるまいを見るだけで予測できるのでしょうか？

楕円曲線とは y² = x³ + ax + b の形の方程式です。見た目はとても単純ですが、現代の暗号（多くの銀行アプリを守る暗号を含む）や、アンドリュー・ワイルズによる有名なフェルマーの最終定理の証明の中心にあります。楕円曲線の中には有理数の解を無限に持つものもあれば、有限個しか持たないものもあります。この予想は、どちらの種類なのか、さらにその解がどれほど「豊か」なのかまで、その曲線からつくられる別の関数（L関数）の、ある特定の点の近くでのふるまいだけからわかると主張しています。

なぜ重要か：現在は一つひとつ個別に扱い、計算も難しいことが多い問い（「この曲線は解をいくつ持つか？」）を、明快で証明可能な規則から答えられるものに変えるでしょう。

現状：未解決。ただし、非常に多くの個々の楕円曲線について計算で検証されており、これまで調べたどの曲線も予想どおりにふるまっています。

7. ポアンカレ予想：解決された問題

問いを一言で：3次元の図形が（厳密な位相的な意味で）穴を持たず、ほかの点でも行儀がよいなら、それは実は、伸びたりゆがんだりしているだけの（より高い次元の）球面でなければならないのでしょうか？

2次元ならほとんど明らかです。球の表面に描いた輪は、表面から離れずに1点まで縮められますが、ドーナツの穴のまわりに描いた輪は、ドーナツの表面にとどまったままでは決して1点に縮められません。だから球とドーナツは本当に違う形なのです。ポアンカレ予想は、この「穴がなければ実は球」という規則が、1つ上の次元、つまり4次元空間にある3次元の図形でも成り立つかを問いました。思い描くのも証明するのも、はるかに難しい問題です。

現状：解決済み。グリゴリー・ペレルマンが2002〜2003年に、リッチ・フロー（リチャード・ハミルトンが開発）と呼ばれる手法を使って証明しました。図形の幾何を少しずつ段階的に「ならして」いき、その本当の構造が見えてくるまで続ける手法です。

まとめの表

試してみよう：証拠と証明の違い

これらの問題のいくつか、たとえばリーマン予想の零点、ゴールドバッハ型の問い、コラッツ予想には、共通の落とし穴があります。証明のように感じられる圧倒的な数値的証拠があるのに、それは証明ではないということです。下のスライダーを動かして、その理由を確かめてみましょう。

次に読むなら

この記事では、公式の7つのミレニアム懸賞問題を扱いました。数学には、このリスト以外にも有名な未解決問題がたくさんあります。双子素数予想、コラッツ予想、abc予想などで、それぞれまったく異なる状況にあることも少なくありません。未解決の数学の謎ハブでは、何が本当に証明されていて何が推測にとどまるのかを同じように丁寧に区別しながら、それらをすべて並べて紹介しています。また、AIがこうした問題を私たちの代わりに解けるのかが気になる方は、AIは本当に数学ができるのか？がまさにその問いを扱っています。