OpenAIが未公開次世代AIで「100万ドル問題」を解いたと発表、Anthropic研究者との対立は本当にあったのか。ナビエ・ストークス方程式をめぐる一部始終を確かめる

まず初めに

*160年前からある偏微分方程式の未解決問題に、シリコンバレーの2社が「うちのAIが解きました」と、示し合わせたわけでもないのにほぼ同時に手を挙げる。*しかも片方はまだ査読はおろか一般公開の検証すら済んでいない自社の未公開モデルの話で、もう片方は電話越しに「共著者を外せ」ともめている。100万ドルの懸賞金がかかった問題のはずが、先に盛り上がったのは賞金の行方より社内の広報文と、深夜の電話でどちらが何を言ったかという、ずいぶん人間くさい言い合いの方だった。※個人の感想です

何が起きているのか

OpenAIが2026年9月8日に公開したブログ記事「On the Navier–Stokes Millennium Prize Problem」によると、同社の次世代モデル群(現行の「GPT-6 Astra」より大幅に高性能とされる、まだ一般公開されていないモデル)が、最大1万体のAIエージェントを並列に動かす形で、9月5日までの約88時間で証明の骨子に到達したとしています。その後、GPT-6 Astra自身がさらに17時間かけて、証明の一部をLeanという形式検証ツールで機械的に確認する作業を行ったとしています。公開された証明原稿は166ページに及び、OpenAIはこれをクレイ数学研究所が示すナビエ・ストークス方程式の問題設定の一つ(周期的な領域に外から力を加えた場合の、有限時間での破綻(はたん)を示す設定)に対応すると説明しています。

一方で、この証明が実際にクレイ数学研究所の受賞条件を満たすと確定したわけではありません。研究所が定める本来の懸賞問題は、外から力を加えない場合の方程式を主な対象としており、OpenAIの結果は力を加えた場合の設定に限られます。この点についてOpenAI自身がどこまで受賞条件を満たすと主張しているかは、本記事執筆時点での一次資料からは断定できませんでした。さらに、数学の専門家からは、証明の全容が独立した第三者による検証を経ておらず、隠れた前提の見落としや、実は別の(やや易しい)問題を解いている可能性を排除できないとして、懐疑的な見方も示されています。

これとは別に、9月7日には米ニューヨーク大学のトリスタン・バックマスター氏と、Anthropicに所属する数学者レベント・アルポーグ氏が、多孔質媒体の方程式、2次元のブシネスク方程式、3次元の非圧縮性オイラー方程式について、いずれも外から滑らかな力を加えた場合に有限時間で破綻が起きることを示す証明を、3本のプレプリント(査読前論文)として公表しました。*偶然にも、アルポーグ氏はこの少し前の2026年8月、Anthropicが発表した「リーマン予想」に関する社内研究の外部レビューにも名を連ねていた人物で、AIを使った数学研究の現場に立て続けに登場している。*両氏は、この証明を1年がかりで積み上げる過程で、先行研究の要点を洗い出すのにClaudeを、証明本文を書き上げるのにClaudeとOpenAIのCodexを使ったと明らかにしており、3本すべてについてLeanによる形式検証も済ませて、検証用のコードとあわせて公開しています。著名な数学者であるテレンス・タオ氏は、この成果を「注目すべき到達点」と評価し、この手法をナビエ・ストークス方程式そのものへ広げる上で原理的な障害は見当たらないとコメントしています。

騒動の発端は、この間に起きたとされるOpenAI側からの接触です。バックマスター氏の説明によると、OpenAIの研究者から9月6日に2回の電話があり、社内モデルが強制項付きのナビエ・ストークス方程式について約100ページの証明を作成したと伝えられたといいます。その際、OpenAI側はアルポーグ氏についてAnthropicに所属していることを理由に著者から外すよう求め、バックマスター氏がこれを拒否すると「なぜ自分のキャリアを台無しにするのか」という趣旨の発言があったとされています。これに対しOpenAI側は、アルポーグ氏自身の研究の著者資格を外すよう求めた事実は否定しつつも、バックマスター氏にOpenAI側のナビエ・ストークス証明の書き直しを主導してもらう相談をしていたこと、その参加にあたってアルポーグ氏のAnthropic在籍が望ましくないと考えていたことは認めています。また、「キャリアを台無しにする」という趣旨の発言をしたこと自体は認め、不適切な言い回しだったとして撤回・謝罪したと説明しています。

なぜ重要なのか

ナビエ・ストークス方程式は、天気予報や航空機の設計、血流のシミュレーションなど、流体が関わるあらゆる分野の土台になっている方程式です。この方程式が「常に滑らかな解を持つのか、それとも条件によっては値が無限大に発散する(=特異点とくいてんが生じる)ことがあるのか」は、160年以上にわたって数学者を悩ませてきた根本的な問いであり、クレイ数学研究所が2000年に選んだ7つのミレニアム懸賞問題のうち、現時点で解決済みなのはポアンカレ予想の1問だけという難関です。もしAIが実際にこの種の問題の解決に本質的な貢献をしたことが専門家の検証によって確認されれば、AIが人間の専門家でも手が出せなかった数学の最前線に到達した具体例として扱われることになります。

同時に重要なのは、今回の騒動が「AIが証明を書いた」という説明のされ方そのものに疑問を投げかけている点です。バックマスター氏によると、OpenAI側は当初「(証明づくりへの)人間の関与はごくわずかだった」と説明していたものの、話を聞いていくと、実際には人間のチームが方程式を解きやすい形に分解し、多数のより易しい問題を踏み台として積み上げ、大規模な計算資源を投じていた実態が見えてきたといいます。AIの成果として華々しく発表される裏にどれだけの人間の設計・判断・介入があったのかは、AI企業の発表を評価するうえで欠かせない視点です。

私たちへの影響

一般の利用者が、ナビエ・ストークス方程式の証明そのものから直接影響を受ける場面はほとんどありません。ただし、今回の一件は、複数のAI企業のツールをまたいで研究や仕事を進める機会が増えるほど、「誰の貢献をどう扱うか」という著者資格・成果配分の問題が避けて通れなくなることを示す具体例です。学術研究に限らず、企業間で技術者が異なるAIベンダーのツールを併用しながら共同作業を行う場面でも、契約や所属会社の違いが思わぬ摩擦を生み得ることを、今回の騒動は示しています。

また、「AIがミレニアム懸賞問題を解いた」といった見出しは強い注目を集めやすい一方で、本記事で触れたとおり、実際には条件付きの結果であることや、外部検証が済んでいないことなど、見出しだけでは伝わらない留保が伴います。AI企業の華々しい発表に接した際は、どのような条件下での、どの段階の成果なのかを確認する視点が引き続き求められます。

初心者が知っておくべきこと

「ミレニアム懸賞問題」とは、米クレイ数学研究所が2000年に選んだ、数学の中でも特に重要かつ未解決とされてきた7つの問題の総称です。1問を解決すると100万ドルの賞金が贈られますが、これまでに解決が認められたのはロシアの数学者グリゴリー・ペレルマン氏による「ポアンカレ予想」の1問のみです。受賞には、研究成果を専門誌で発表したうえで、一定期間、数学界による検証を経る必要があるとされています。

「形式検証」とは、数学的な証明やプログラムの正しさを、人間が読んで「正しそうだ」と判断するのではなく、Leanのようなソフトウエアを使って、論理の飛躍がないかを機械的に一つひとつ確認する手法です。人間の目視によるチェック(査読)だけでは見落とされがちな細部の誤りを機械的に洗い出せる一方で、形式検証が通ったからといって、それだけで学術誌の査読に代わるわけではありません。

よくある質問

Q. 今回の発表で、ナビエ・ストークス方程式の問題は完全に解決したのですか。

A. いいえ、そう言い切ることはできません。OpenAIが発表したのは、方程式に外から力を加えた特定の条件下での結果であり、クレイ数学研究所による正式な審査や、外部の数学者による独立した検証はまだ行われていません。バックマスター氏とアルポーグ氏の証明についても、査読前論文の段階です。

Q. なぜAnthropicの研究者がOpenAIをめぐる騒動に登場するのですか。

A. アルポーグ氏がOpenAIの社員というわけではありません。ニューヨーク大学のバックマスター氏と共同で、OpenAIとは別に独自の証明を進めていたところ、その研究がOpenAIの発表とほぼ同じ時期に公表される形になり、その過程でOpenAI側からアルポーグ氏の所属先(Anthropic)を理由に著者資格を問題視するような接触があったと、バックマスター氏が説明しています。

IT Postの見方

IT Postでは、今回の一件が示しているのは、AI企業が「AIが自律的に成し遂げた」と語る成果の裏に、これまで以上に人間同士の泥臭い駆け引きが伴うようになっているという事実だと考えます。

*100万ドルの賞金がかかった160年来の難問を、1万体のAIエージェントが88時間で攻略したという触れ込みは、聞こえこそSFじみているが、蓋を開けてみれば「深夜の電話で共著者を外せと迫り、断られたら『キャリアを台無しにする気か』と口を滑らせて後で謝る」という、実に人間くさい修羅場が付いてきた。*AIの計算力がどれだけ向上しても、成果を誰の手柄にするかを巡る駆け引きは、結局のところ人間同士でしか決着がつかないということを、今回ほどはっきり見せてくれた例も少ないだろう。IT Postでは、AI企業同士の競争が激しくなるほど、こうした発表の「盛り方」を鵜呑みにせず、査読や独立検証を経た情報かどうかを見極める視点が、専門家だけでなく一般の読者にとっても重要になっていくと考えます。※個人の感想です

今後どうなりそうか

OpenAIが公開した166ページの証明原稿とLeanによる検証結果を、独立した数学者たちがどこまで精査し、誤りや見落としがないかを確認できるかが、まず当面の焦点です。あわせて、バックマスター氏とアルポーグ氏の3本の証明についても、査読付き論文としての発表に向けた検証が続く見通しです。今回の著者資格をめぐる騒動について、OpenAIやAnthropicが追加の説明を行うかどうかも注目されます。IT Postでは、査読や独立検証の状況に動きがあり次第、あらためて取り上げます。