懸賞問題

📰 ニュースまとめ米OpenAIが、ミレニアム懸賞問題の一つである「ナビエ・ストークス方程式の存在と滑らかさ」をAIが解決したと発表しました。この成果は、3次元の非圧縮性流体が特異点を生じる可能性を示すもので、証明の解説と証明支援ツール「L...