ミレニアム懸賞問題とは？

クレイ数学研究所が2000年に選定した7つの難問で、ナビエ・ストークス方程式の存在と滑らかさもその一つです。解決すれば数学者としてのキャリアが決定づけられる水準の問題とされます。AI企業がこの領域で成果を主張し始めたことで、証明の検証方法や成果の帰属をどう扱うかが新たな論点になっています。