OpenAIが流体の難問の証明を公開
OpenAIは9月8日、Navier–Stokes方程式のミレニアム問題について、未公開モデルを使うエージェント群が証明を得たと発表した。滑らかな外力がある条件で、エネルギーを有限に保ちながら流速が有限時間で発散する構成を示し、論文とLeanによる形式化を公開した。
キーポイント
- 対象は公式問題文のC・Dに対応する、滑らかな外力を伴う場合。
- 解決に至ったグループでは約1万のエージェントが並行して取り組んだと説明。
- 証明の形式化と検証にはGPT-6 Astraを使い、さらに約17時間を要した。
- ミレニアム賞の受賞を主張する意図はないと明記している。