もう少し詳しく

「ミレニアム懸賞問題」とは、米国のクレイ数学研究所が2000年に発表した、数学における7つの重要な未解決問題です。それぞれの問題に100万ドルの懸賞金が懸けられており、数学の様々な分野にまたがる難問が選ばれています。2026年時点で正式に解決が認められているのは、ロシアの数学者グリゴリー・ペレルマン氏が証明した「ポアンカレ予想」の1問のみです。

どこで使われるか

数学研究の到達点や難易度を示す指標として、学術的な文脈だけでなく、AIによる数学の問題解決能力を評価する際の話題としても取り上げられるようになっています。あるAIモデルがミレニアム懸賞問題に関連する成果を出したというニュースは、そのAIの数学的な能力の高さを示す象徴的な話題として扱われることがあります。

身近な例

流体の動きを記述する方程式に関する「ナビエ・ストークス方程式の解の存在と滑らかさ」の問題は、ミレニアム懸賞問題の一つです。AI企業がこうした問題に関連する証明を発表するたびに、数学コミュニティでその内容が検証される、というやり取りが繰り返されています。

注意点

「ミレニアム懸賞問題に関する成果を発表した」という報道があっても、それが懸賞金の対象として正式に認められたことを必ずしも意味しません。懸賞金の授与には、論文としての発表から一定期間を経た上での、数学コミュニティによる慎重な検証が必要とされており、発表直後の段階では未確定であることが多い点に注意が必要です。