何が起きたか

OpenAIは、ナビエ・ストークス方程式に対するAI生成の解を発見したと発表しました。同方程式は水や空気といった流体のふるまいを記述する200年来の方程式で、1問あたり100万ドルの賞金がかかるクレイ数学研究所のミレニアム懸賞問題の一つとして未解決問題に数えられてきました。

数学者でAI研究者のSebastien Bubeck氏によれば、OpenAIは8月28日に高度な数学能力を持つ新モデルの学習を開始。Anthropicがナビエ・ストークスの解決に近づいているという噂を読んだ後、この問題により多くのリソースを割く判断をしたといいます。1000体を超えるエージェントが50時間以上稼働し、最終的には最大1万体まで拡大。日曜の朝に最終解が完成し、証明支援言語Leanで形式化されました。「どこかに間違いがあるに違いないと思った」とBubeck氏は述べています。

翌月曜、Levent Alpöge氏とTristan Buckmaster氏が、ナビエ・ストークス問題に関連する領域での重要な進展を主張する文書を公開しました。両氏はClaudeやCodexを含む複数のAIモデルを使ったとしています。

争点は「解けたか」ではなく「どう解いたか」

Buckmaster氏は声明で、OpenAIが自分たちの研究を認識し多大なリソースを投入し始めたことを先週知った、と述べています。同氏はOpenAI幹部に対し、自分たちのCodexログにアクセスしたのかを尋ね、モデルは「ユーザーデータを参照していない」と回答を得た一方、学習(トレーニング)に関する質問には回答がなかったと主張します。さらに、OpenAIから複数の「提案」があり、その一つはBuckmaster氏がOpenAIの社内モデルによってナビエ・ストークス問題が解かれたと発表する論文を書くというもので、そこにAlpöge氏の名前は含まれていなかったと述べています。

Bubeck氏はSNS上で、Alpöge氏の名前を外すよう提案したという見方に反論し、CEOのSam Altman氏もチームの成果を擁護しました。ブリーフィングでBubeck氏らは、両氏のCodexプロンプトを調べて自社の研究に反映させたことは一切ないと否定し、「研究者であれエージェントであれ、昨夜公開されるまで彼らの仕事を一切見ていない」と述べています。

ただしOpenAIはブログ投稿で、「可能性は低いものの、彼らの当社製品利用から得られた非識別化データが当社モデルの改善に寄与した可能性を排除できない」と記しました。ここが本件の核心です。「ログを覗いた」という直接的な行為の否定と、「製品利用データが間接的にモデルへ還流した可能性を排除できない」という留保は、両立してしまいます。Buckmaster氏、Alpöge氏、AnthropicはWIREDの取材に即答していません。

点をつなぐと見えるもの

第一に、コストの意味です。数百万ドル規模の計算資源を一つの問題に投じ、最大1万体のエージェントを並列に走らせるというのは、研究の作法が「賢い個人」から「資本集約的な総力戦」へ移りつつあることを示します。第二に、検証手段としてのLean形式化です。解が正しいかを人間の査読を待たずに機械的に検証できるからこそ、50時間という速度が意味を持ちます。第三に、競合の噂が投資判断の引き金になった点。研究テーマの選定そのものが競争シグナルで動いています。

💼 事業会社視点:これは自社にどう効くか

経営目線での本質は、数学の話ではなく「業務データがベンダーのモデルにどう還流するか」というガバナンスの問題です。OpenAIは直接的なログ閲覧を否定しつつ、ブログで「非識別化データが自社モデルの改善に寄与した可能性を排除できない」と明記しました。この一文は、日本企業がAIコーディング支援やチャットを全社導入する際の稟議書に、そのまま論点として書き込むべきものです。

受託開発・SIerであれば、顧客のソースコードや設計資産をCodex等に投入している時点で、契約上の秘密保持と実運用の整合が問われます。今すぐ確認すべきは三点。(1)利用中プランがビジネス/エンタープライズ契約で学習利用オプトアウトが効いているか、(2)非識別化データの扱いがどう規定されているか、(3)未公開の研究開発・特許出願前の内容を扱う部門で、モデル利用の分離ができているか。

SaaS・EC事業者にとっては別の含意もあります。1万エージェント・数百万ドルという規模感は、競争優位が「アルゴリズムの発想」から「投下できる計算資源」へ寄ることを意味します。自社で基盤モデル競争に挑む選択肢は事実上消え、代わりに独自データと業務プロセスへの埋め込みが差別化の主戦場になります。同時に、複数ベンダーを併用し一社依存を避ける設計が、コスト面だけでなく情報還流リスクの分散としても正当化されます。

関連リンク