クレイ数学研究所は、7つのミレニアム賞問題の1つであるナビエ・ストークスの存在と滑らかさの問題が「明らかに解決された」ことを初めて公に認めた。金曜日に同研究所のウェブサイトに掲載されたこの声明は、今年最も論争の的となったAIと数学の記事の1つを同研究所の正式な賞評価プロセスに移すと同時に、いかなる賞も授与されておらず、いかなる証拠も承認されていないことも同様に明確にしている。
同研究所は2026年9月11日付の発表文で「本日、ナビエ・ストークス問題が明らかに解決したという発表を熟考し、世界の数学コミュニティの興奮を共有する」と同研究所は2026年9月11日付の発表で記している。「この研究の背後にある革新が分析され、調査されるにつれて、新たな人類理解の波が解き放たれることを期待している」。 この件の詳細は、人工知能の最新情報をご覧ください。
この声明が重要な理由
同研究所の測定された言語は多くの作業を行っており、Hacker News では各単語が数時間以内に解析され、その発表では 100 ポイント以上が集められました。この声明で述べられていないことは、その内容と同じくらい重要です。クレイ数学研究所は OpenAI の名前を公表しておらず、特定の証明が正しいことを確認しておらず、賞の授与のきっかけにもなっていません。
文脈によって制約が説明されます。 9月8日、OpenAIはナビエ・ストークス問題に対する解決策を発表し、内部AIシステム（同社によればGPT-6アストラモデルよりも大幅に能力が高いと説明）がリーン証明アシスタントで分析的証明と形式的検証の両方を生成したと述べた。 2人の学者数学者が同日に密接に関連する論文を発表し、研究者らはマシンの結果に影響を与えた研究についてOpenAIに圧力をかけたため、この発表は即座に計算に関するものと同じくらい信用に関するものとなった。
同研究所が現在、問題は「明らかに解決した」と認めたことで、紛争はプレスリリースのピンポンから、同研究所が「意図的に急いでいない」と評するミレニアム賞の評価手続きへと段階を移している。
ナビエ・ストークス問題が問うもの
この問題は、3 次元ユークリッド空間におけるナビエ・ストークス方程式、つまり水や空気などの流体がどのように動くかを記述する方程式の解の存在と滑らかさに関係しています。これらの方程式はエンジニア、気象学者、航空力学者によって日常的に使用されていますが、数学者は、滑らかで物理的に合理的な解が常に 3 次元に存在することや、解が特異点を生じずに予測どおりに動作することを証明したことはありません。
クレイ数学研究所は、2000 年のパリでの会合でミレニアム賞問題を発表し、リーマン予想や P 対 NP も含む 7 つの問題のそれぞれに 100 万ドルの賞金を与えました。同研究所は金曜日の声明で、数学のフロンティアが開かれているという国民の認識を高め、「歴史的規模の数学の成果」を認めるという当初の理論的根拠を繰り返し述べた。
7 つの問題のうち 1 つであるポアンカレ予想だけが解決されました。2002 年と 2003 年にグリゴリ ペレルマンが投稿した研究で、彼がフィールズ賞と賞金の両方を辞退したのは有名です。
「意図的に急いでいない」評価を先取りする
同研究所の発表では、賞規定が次に起こることを管理する枠組みであると指摘している。 「賞を管理する規則には、達成されたものを評価し、功績を割り当てるためのプロセスが記載されています」と声明には書かれている。 「プロセスは意図的に急いでいませんが、最新情報を提供します。」
この表現には、数学界が現在公然と議論しているいくつかの疑問が残されています。検証が最初のハードルです。ナビエ・ストークスの滑らかさを証明するには、通常、専門家委員会が一行ずつチェックするのに何か月もかかります。結果にリーンの機械チェックによる形式化が含まれているという OpenAI の主張は、形式的な検証によって正確性の問題が証明アシスタントが受け入れる範囲に限定されるため、原理的にはそのタイムラインを大幅に圧縮する可能性がある。しかし同研究所は、そのような正式な申請書が提出されたかどうか、審査員が誰であるか、AIシステム、OpenAIの作成者、および同じ週に関連論文が発表された学術数学者の間で信用がどのように配分されるかについては明らかにしていない。
この声明ではまた、AIシステムに大部分が起因するソリューションが、人間の数学的成果を表彰することを同研究所の設立言語で意図した賞の対象となるかどうかについても言及されていない。これは、この賞の26年の歴史の中で前例のない問題である。
発表の裏にある緊張感
この発表は、AI と数学が交差する非常にデリケートな瞬間に到来しました。金曜日、テレンス・タオを含む25人のフィールズ・メダリストのグループは、AIシステムを数学的ベンチマークで紹介する競争が科学とそれを支えるコミュニティの両方に損害を与えていると警告する正式な声明を発表した。AIバズワイヤーが以前報じたように、この声明には1日以内にさらに1,300人以上の支持者が集まった。
この 2 つの文書は、ほとんどお互いに対する答えのように読めます。数学者の宣言は、深い問題をベンチマークのトロフィーとして扱うことに対して警告している。同研究所の発表は、結果を歓迎しながらも、勝利ではなく理解を中心にこの瞬間を鋭く描いており、「この研究の背後にある革新が分析され、調査されるにつれて、新たな人類理解の波が解き放たれる」ことを期待している。
周囲の分野に関する同研究所自身の説明でも、この変化を認めている。「数学的研究を加速する新技術の能力の増大により、この期待感が高まっている」と声明は述べ、隣接する分野での最近の進歩（その一部はクレイ研究賞で認められている）が、ナビエ・ストークスが間もなく崩壊するかもしれないという期待を高めたことを認めている。
次に何が起こるか
今のところ、実際に得られる結論は狭いが現実だ。問題を所有する研究所は、問題は明らかに解決したと考えており、評価が進むにつれて最新情報を公開することを約束したと記録に残している。もしこの研究が精査に耐えられれば、それは20年ぶりとなる2度目のミレニアム問題解決となるが、AIシステムのおかげでもある史上初の解決となるが、この問題は数学研究機関が次の同様の主張にどう対処するかを形作ることになる。
同研究所は忍耐を求めた。このプロセスは設計上、意図的にゆっくりと行われているため、証拠、信用、それを作成した機械の役割に関するコミュニティの質問は、ニュースサイクルではなく研究所のタイムラインで回答されることになります。
---
AIの最新情報をお届けAIの最新ニュース、分析、ブレイクスルーを一箇所で。
AIニュースをもっと読む →
