#ミレニアム賞問題 のAIニュース

OpenAI、ナヴィエ・ストークス方程式の解明に成功と報告

OpenAI は内部システムがナヴィエ・ストークス方程式の有限時間特異点存在を示す証明を生成し、その論文と Lean による形式化を公開したと報告している。