数理物理 OpenAIのナビエ・ストークス解決発表を読む：証明の主張と未確認の点 OpenAIの発表とクレイ数学研究所の問題設定を照合。外力・粘性・有限時間発散の意味を解説し、証明の主張と賞の認定を分けて整理します。 2026.09.15 数理物理
数理物理 OpenAI ナビエ・ストークス方程式を解決？ OpenAIの発表で、何が分かり何が未確認なのか2026年9月8日、OpenAIはナビエ・ストークス方程式の存在と滑らかさに関する問題を解決したと発表し、論文とLean形式化を公開しました。対象は、滑らかな外力を加えた3次元の非圧縮性流体で... 2026.09.09 テクノロジー数理物理
数理物理 
