- この問題は、非圧縮性流体の流れにおいて、速度または圧力が無限大となる特異点が発生するかどうかを判定することを目的としている。
- OpenAIはAIエージェントを用いた解決策を提示したが、スペインの数学者による著作の盗用をめぐっては強い論争が巻き起こっている。
- 完全な解決策は、大域的な正則性と滑らかな解の存在を証明することであり、これは純粋数学と乱流の物理学を結びつける難題である。
川を流れる水滴の動きや、空中でタバコの煙が気まぐれに揺れる様子を正確に予測しようとすることを想像してみてください。一見簡単な作業のように思えますが、実際には、ナビエ・ストークス問題として知られる、歴史上最も困難な数学的課題の一つに直面しているのです。この問題は単なる学術的な興味の対象ではなく、ミレニアム懸賞の七つの課題の一つであり、クレイ数学研究所は、形式科学を研究する人々にとって基礎となるこの方程式を解くことができる人に100万ドルの賞金を提供しています。
物語は19世紀に遡ります。当時、フランス人のクロード＝ルイ・マリー・ナヴィエとアイルランド人のジョージ・ガブリエル・ストークスがこのモデルの基礎を築きました。彼らの目的は流体の流れを記述することであり、特に非圧縮性流体、つまり私たちの血管を流れる血液やグラスの中の牛乳のように、動いても密度が変化しない流体に焦点を当てました。問題の核心は、これらの方程式が常に成り立つのか、それとも「破綻」して特異点（速度や圧力が無限大になる点）が生じ、モデルが将来の予測に役立たなくなるのか、という点です。
規則性と特異点の謎
賞を獲得するには、近似計算だけでは不十分であり、解の存在と規則性に関する厳密な数学的証明が求められます。簡単に言えば、流体が徐々に連続的に振る舞うのか、それとも逆に無限遠まで急激に方向転換するのかを証明しなければなりません。この問題は4つの技術的な記述（A、B、C、D）に分かれています。最初の4つは外部力が存在しない状態での全体的な規則性に焦点を当て、後の4つは外部力が存在する場合に何が起こるか、そして外部力がシステムを数学的に崩壊させる可能性があるかどうかを分析します。
ここで乱流という現象が問題となる。それは、エンジニアや物理学者を悩ませる、一見混沌とした現象だ。数学者は唯一無二の滑らかな解を求める一方、エンジニアはわずか数時間で航空機を設計できる計算モデルを好む。こうした目標の隔たりは、この問題が、物理的な断続性と数値的な精度が複雑に絡み合った、氷山のような複雑さを抱えていることを示している。
人工知能の台頭とOpenAIをめぐる論争
最近、科学界はOpenAIの発表に衝撃を受けた。同社は、AIエージェント戦略を用いて問題の主張CとDを解決したと主張している。約1万個のエージェントが88時間休みなく働き続けたというのだ。166ページに及ぶ論文によると、重力の下にある水のような強制流体は特異点を生じる可能性があることを実証したという。査読を経てこれが認められれば、 100万ドルの賞金獲得の基準を満たすことになるが、強制されていない流体については未解決のままだ。
しかし、事態は順風満帆とはいかず、エゴのぶつかり合いや盗作疑惑が勃発した。OpenAIは、スペインの数学者ディエゴ・コルドバとルイス・マルティネス・ゾロアの過去の研究成果を不正に利用した疑いが持たれている。ICMATに所属するこの二人の専門家は長年この問題に取り組んでおり、彼らのアイデアはトリスタン・バックマスターとレベント・アルポーゲによる重要な証明の根幹を成すものだった。科学界では現在、OpenAIがこの歴史的なブレークスルーの知的貢献について正直であったかどうかが議論されている。
技術の基礎：材料派生からシミュレーションまで
この問題の複雑さを理解するには、数式の複雑さを深く掘り下げる必要があります。ここでは、流体粒子の挙動を追跡するために実質微分または物質微分を用いるオイラー記述が用いられます。これは、固定点における局所的な変化と、流体自体の運動によって引き起こされる変化である対流微分を組み合わせたものです。これは、面積分を体積分に変換するレイノルズの輸送定理やガウスの定理を含む、複雑な数学体系です。
実際には、これらの方程式は非線形かつ密接に結合しているため、複雑なケースでは鉛筆と紙で解くことは不可能です。そのため、要素法や有限差分法などの数値的手法に頼ることになります。興味深いことに、この数学的なカオスは非常に一般的な用途があります。それはビデオゲームです。Jos Stam氏などの研究のおかげで、Navier-Stokes方程式の簡略化されたバージョンがGPUで使用され、数値散逸と常に戦いながらも、超リアルな炎や煙をリアルタイムで生成しています。
19世紀の黒板からOpenAIサーバーに至るまでのこの道のりは、AIが強力なツールである一方で、コルドバやマルティネス＝ゾロアといった数学者の人間的な直感こそが真の進歩の原動力であることを示している。この問題を解決することは、金銭的な報酬をもたらすだけでなく、物理モデルの乱流と限界を理解する鍵となり、ナビエから始まり、量子コンピューティングやAIへと拡大していくサイクルを完結させる。
