タグ: AI数学問題解決

OpenAIは2026年9月8日に、内部AIシステムが証明を作成し、Lean証明支援ツールで形式化したことを発表しました。この証明は、流体運動を支配するナビエ–ストークス方程式が有限時間内に特異点を生...