OpenAIは9月8日、数学の「ミレニアム懸賞問題」の1つである「ナビエ–ストークス方程式の解の存在と滑らかさ問題」を解決する証明を、同社のAIシステムが生成したと正式に発表した。