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

記事の3ポイント

1. 1

   ミレニアム賞問題の解決

   OpenAI の内部システムが、ナヴィエ＝ストークス方程式の存在と滑らかさに関するミレニアム賞問題を解決し、有限時間内に特異点が発生することを証明した。

2. 2

   高度な内部モデルの使用

   この成果は GPT-6 Astra よりも大幅に能力が高い内部モデルによって達成されたものであり、AI の進歩速度を世界に示す目的がある。

3. 3

   証明の公開と形式化

   同社は証明の詳細な記述と、Lean による形式的検証コードを同時に公開し、科学者らが研究を推進できる環境を整備した。