【未解決問題一覧】リーマン予想・コラッツ予想・P対NP問題まで数学の難問を完全解説

当サイトを閲覧いただきありがとうございます。 本記事は数学・科学の有名な未解決問題を一覧でまとめて紹介するものです。

未解決問題と聞くと、専門家にしか意味の分からない話を想像するかもしれません。ところが数学の有名な未解決問題には、問題文だけなら小学生でも理解できるものがいくつもあります。偶数は2つの素数の和で書けるのか。数を3倍して1を足す遊びは必ず1に戻るのか。ルールは遊びのように単純なのに、世界中の天才が百年単位で挑んで、誰一人証明できていない。このギャップこそが、このジャンル最大の魅力だと私は思っています。

しかも、これらは単なる頭の体操ではありません。1問に100万ドルの懸賞金がかかっているものがあり、インターネットの暗号の安全性や、コンピュータにできることの限界という、現代社会の土台に直結する問題も含まれています。

本記事では、有名な未解決問題を「素数と整数の謎」「単純なルールと計算の謎」「図形と方程式の謎」「物理と宇宙の謎」の4ジャンル・15問に整理して紹介します。数学の最重要問題7問に100万ドルずつをかけた「ミレニアム懸賞問題」も、7問すべてを収録しました。すべての問題に個別の解説記事を用意しています。

素数と整数の謎に挑む予想たち

最初のジャンルは、数学の王様とも呼ばれる素数と整数の未解決問題です。素数は2、3、5、7、11……と無限に続くことが2300年前から分かっているのに、その「並び方」となると、現代数学でも核心はつかめていません。どの問題も、問題文そのものは短く書けます。

リーマン予想は1859年から160年以上、ゴールドバッハ予想にいたっては1742年から280年以上も未解決のままです。コンピュータによる検証では、ゴールドバッハ予想は400京という途方もない数まで反例なし。それでも数学の世界では、どれだけ例を積み上げても「すべての数で成り立つ」ことの証明にはならないのです。

単純なルールと計算の謎

もう一つのジャンルは、「操作」や「計算」にまつわる未解決問題です。コラッツ予想は、遊びのルールのような操作が生む底なしの謎。P対NP問題は、コンピュータ科学の存在そのものを賭けた問いで、100万ドルのミレニアム懸賞問題の一つでもあります。

コラッツ予想は、あの天才エルデシュに「現代の数学はこの種の問題に対する準備がまだできていない」と言わせた問題です。P対NP問題が肯定的に解ければ、インターネットの暗号の多くが理屈の上で崩壊します。単純な見た目と、帰結の重大さのギャップを、ぜひ個別記事で味わってみてください。

物理と宇宙の謎

3つ目のジャンルは、数学を飛び出して現実の宇宙そのものに残る謎です。水の流れ、天体の運動、宇宙の中身。どれも私たちの足元にある当たり前の存在なのに、その理解の中心に大穴が開いています。ナビエ・ストークス方程式はミレニアム懸賞問題の一つで、こちらにも100万ドルがかかっています。

物理の謎には、数学の予想とはひと味違う魅力があります。実験や観測で「答え合わせ」が突然やってくる可能性があるのです。暗黒物質や暗黒エネルギーの正体が明日の実験で判明する可能性はゼロではありませんし、そうなれば教科書は一夜で書き換わります。ヤン・ミルズ理論はミレニアム懸賞問題の一つで、暗黒エネルギーは暗黒物質と対をなす宇宙最大の謎です。

図形と方程式の謎

4つ目は、かたちや方程式の奥にひそむ、抽象的だが数学の核心をなす難問です。正直に言えば、このジャンルは当シリーズで最も専門的で、雰囲気をつかむだけでも骨が折れます。それでも、宇宙の形を見分けるポアンカレ予想には手触りがあり、1000年前の直角三角形の謎につながるBSD予想には意外な入り口があります。3問すべてがミレニアム懸賞問題（ポアンカレは唯一の解決例）です。

ミレニアム懸賞問題を、7問すべて収録

このシリーズには、他の知識シリーズにない名物があります。懸賞金です。

2000年、アメリカのクレイ数学研究所は、数学の最重要問題7問を「ミレニアム懸賞問題」に選び、1問につき100万ドルの賞金をかけました。当シリーズは、この7問すべてに個別記事を用意しています。上で紹介したリーマン予想、P対NP問題、ナビエ・ストークス方程式、ポアンカレ予想、BSD予想、ヤン・ミルズ理論、ホッジ予想の7つです。7問のうち解決済みは、ロシアの数学者ペレルマンが証明したポアンカレ予想のただ1問。しかもペレルマンは賞金の受け取りを辞退しました。

なぜ企業でも政府でもなく、数学の研究所が大金を積むのか。それは、これらの問題が解けた瞬間に数学の地図が書き換わる急所だからです。未解決問題の価値は答えそのものよりも、挑戦の過程で生まれる新しい道具にあります。フェルマーの最終定理は360年かけて1995年に証明されましたが、その挑戦の副産物として現代数論の主要な道具が次々と生まれました。「解けない問題こそが数学を前に進める」という逆説が、このジャンルの面白いところです。

まとめ

本記事は数学の有名な未解決問題を一覧で紹介しました。如何だったでしょうか。

問題文は一行、しかし誰も解けない。この落差は、人類がまだ数の世界のほんの入り口に立っていることを教えてくれます。個別記事では、それぞれの問題について「何が分かっていて、何が分からないのか」の最前線まで踏み込んでいますので、気になった問題からどうぞ。

なお、当サイトでは同じ形式の知識まとめとして、直感を裏切る「論理クイズ・確率パズル」と「世界のパラドックス」の一覧も公開しています。解けない問題の途方もなさを味わった後に、解ける問題のカタルシスへ戻るのもおすすめです。

思考の癖を扱う「認知バイアス大全」、頭の中の仮想実験を集めた「思考実験」の一覧もあります。知的なはしご酒のお供にどうぞ。

それでは次の記事も閲覧いただけると幸いです。