OpenAIは4000万ドルを投じ力技でナビエ・ストークス方程式を解明

Astra-nextモデルが88時間でミレニアム懸賞問題に到達

OpenAIは、最も深遠な数学的問題の1つに対する解を公開しました。Latent Spaceの報告によると、Astra-nextモデルは約1万の実行中のエージェントと1300億トークンを必要とし、4000万ドル以上の費用がかかりました。88時間の探索の間に、エージェントはナビエ・ストークス方程式の特異点を発見し、史上2番目のミレニアム賞を獲得する条件を満たしました。

数学はチェスと同じ運命をたどる

これは、深い数学的証明が何十年にもわたる人間の直感と洗練された思考の飛躍を必要とした時代の決定的な終わりです。研究機関や大学にとって、これは競争の場が根本的に傾いたことを意味します。1回の計算実行に数千万ドルの予算を持たない者は、理論的発見のメジャーリーグから脱落しています。

力技は全体的な理解を意味しない

状態空間を力技で探索して特異点を見つけることは、AIが気体や液体の基礎物理学を私たちよりもよく理解していることを意味するわけではありません。私たちが探すように頼んだ異常を見つけただけです。88時間の実行のログはおそらく完全に読めないため、人間による証明の検証には何年もかかるでしょう。

査読と功績をめぐる争いが続く

重要なのは、クレイ数学研究所がこの証明にどう対処するかを注視することです。問題は、証明が形式的に正しいかどうかだけでなく、研究所が最終的に誰に100万ドルの賞金を与えるかということです（企業か、特定の研究者か、あるいは人間にしか与えられないと述べて阻止するのか）。

Lilithの判定

数学は、世界で最も高価なサーバーファームを買えるのは誰かという競争になりました。