OpenAIは、重大な主張をテーブルに出しました。

同社の最新のAI研究では、数学の有名な未解決課題の一つであるナビエ–ストークス問題に取り組むため、約10,000人（体）のエージェントが協力して動作しました。

一つのモデルが単一の方向から問題に挑むのではなく、システムは並行して多くのアプローチを探りました。OpenAIは、以前のより単純なオイラー問題が、のちにナビエ–ストークスへ応用されたアイデアをエージェントに開発させるのに役立ったと述べています。

画期は、報道によれば約88時間後に訪れたとのことです。

提案された結果は、渦が集中して伸び続け、全体のエネルギーが有限でありながら有限時間内に特異点が形成される、というシナリオを示唆しています。

その後OpenAIは、議論をLeanに翻訳し、証明を機械的に検証できるようにしました。

この点は重要です。見事なAI生成の議論はそれだけで一つのことです。しかし、形式的に検証された証明は別物です。

とはいえ、重要な注意点があります。OpenAIの結果はまだ、数学コミュニティで受け入れられた解決策になっていません。

この問題には$1Mのミレニアム懸賞問題が付いていますが、OpenAIはそれを主張するつもりはないと言っています。

また、オンラインで出回っている約~15Mという数字は、トークンコストの外部推定であってOpenAIの公式な数字ではありません。そして、$WLD がそれを支払うために使われた証拠はありません。
$SUI $4Stock