#形式化検証 のAIニュース

OpenAI、内部システムがナヴィエ–ストークス問題の解法を証明

OpenAI は、同社内部で開発したシステムがナヴィエ–ストークス方程式の有限時間特異点存在を示す解法を生成し、その証明と Lean による形式化を公開した。