ミレニアム懸賞問題

米OpenAIは、社内の未公開モデルがミレニアム懸賞問題の1つ「ナビエ・ストークス方程式の存在と滑らかさ」を解決する証明を生成したと発表しました。しかし、この発表の経緯をめぐり、数学界からは反発の声が上がっています。