>>177 補足

例えばさ、ミレニアム懸賞問題（下記）で
「ナビエ?ストークス方程式の解の存在と滑らかさ (Navier?Stokes Equation)」というのがある
数値解析で、ナビエ?ストークス方程式は解けるけど、数学者はそれだけでは満足していないらしい

「ヤン?ミルズ方程式と質量ギャップ問題 (Yang?Mills and Mass Gap)」というのも
物理的には、かなり数値計算はできるけど、理論的にはちょっと「エンピツ舐めている」ところがある
そこをきっちりしたら、懸賞金１億円だってさ（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%AC%E3%83%8B%E3%82%A2%E3%83%A0%E6%87%B8%E8%B3%9E%E5%95%8F%E9%A1%8C
ミレニアム懸賞問題（ミレニアムけんしょうもんだい、英: millennium prize problems）とは、アメリカのクレイ数学研究所によって、2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2020年9月末の時点で未解決である。

一覧
・ヤン?ミルズ方程式と質量ギャップ問題 (Yang?Mills and Mass Gap)
　任意のコンパクトな単純ゲージ群 G に対して、非自明な量子ヤン・ミルズ理論が 'R4 上に存在し、質量ギャップ Δ > 0 を持つことを証明せよ。
・ナビエ?ストークス方程式の解の存在と滑らかさ (Navier?Stokes Equation)
　3次元空間と（1次元の）時間の中で、初期速度を与えると、ナビエ?ストークス方程式の解となる速度ベクトル場と圧力のスカラー場が存在して、双方とも滑らかで大域的に定義されるか。