OpenAI、ナビエ–ストークス方程式のミレニアム問題への一つの解答を発表、Lean形式証明を公開

PANews 9月9日、OpenAIは、内部システムがナビエ–ストークス方程式の存在性と滑らか性問題に対する一つの解答を提示したと発表した。滑らかな外力の下で、初期静止かつ滑らかな三次元非圧縮流体は有限時間内に特異点を形成し、全過程でエネルギーは有限に保たれる。OpenAIは、この結果はクレイ数学研究所の公式表現における命題C、Dに相当し、論文とLean形式化証明を同時に公開したが、学界による独立した検証を待つ必要があると述べている。

OpenAIは、このプロジェクトではGPT-6 Astraよりも大幅に強力な内部モデルを使用し、約1万の並列エージェントが約88時間で証明を形成し、270万件のメッセージを送信、約1300億の出力トークンを生成し、Lean形式化と検証にはさらに17時間を要したと説明している。OpenAIはミレニアム賞を申請する意図はない。

また、同時期の研究として、OpenAIは当初、Anthropicの社員であるLevent Alpögeとニューヨーク大学教授のTristan Buckmasterもナビエ–ストークス問題を解いたと誤認していたが、後に両名が解いたのは強制オイラー方程式問題であり、両名の同問題における優先権を認めた。

共有先:

著者:PA一线

この内容は市場情報の提供のみを目的としており、投資助言を構成しません。

PANews公式アカウントをフォローして、強気・弱気相場を一緒に乗り越えましょう
関連トピック
PANews APP
暗号資産カストディアン企業CopperのCEOが退任、会社売却のオファーは2億ドルに低下
PANews 速報