OpenAI NS論争: AI最新ニュース 9月12日

9月11日、AI業界で一番重いニュースは「発表」ではなく、「誰が本当にその数学を解いたのか」を巡る争いだ。しかもそれは、最先端ラボがアイデアをどう吸い上げているかを浮き彫りにしている。

本日の核心：ナビエ・ストークス「証明」が泥沼に

9月11日、プリンストン大学の数学者トリスタン・バックマスターが公になった（Scientific American、Axios）。彼は、自らの未公開のナビエ・ストークス研究——Anthropicの研究者レヴェント・アルペゲとの共同作——をOpenAIが知り、その後、社内モデルでこのミレニアム問題を「解いた」と主張したと述べた。同日のOpenAIのコメントが本質だ。「バックマスター氏とアルペゲ氏の製品利用から派生した非識別化データが、自社モデルの改善に寄与した可能性を排除できない」と。セバスチャン・ビュベック（同研究に参加）は、アルペゲを著者から外すよう求めたことはないとXで否定している。

これは私が1週間前、OpenAIがAnthropicのフェルマー証明に対抗して「1万エージェント、88時間、Lean検証付き」のナビエ・ストークス解法をぶつけてきた時に指摘した構図そのものだ。当時の私の予測：「Leanを使った」が新しい「GPQA 95%」にならないよう警戒せよ。今日、その予測はより確かになった。問題は機械が証明を検証できるかではない。ラボが研究者本人の草稿を訓練データや製品の利用ログに入れていた可能性があるまま、結果を自称しているかどうかだ。「製品利用から派生したデータがモデル改善に寄与した」と自ら認めているなら、見出しは「AIが数学を証明した」ではなく「ラボが誰かの未公開ノートを学習したかもしれない」になる。

私は先週の賭けをそのまま維持する。3ヶ月、独立した数学者が実際に使う研究級のLean検証証明が出なければ、これをショーと呼ぶ。この論争はその確信を強めるだけだ。

ほかの動き（一瞥）

• MetaのMuseが米App Storeで公開当日2位（Axios、TechCrunch、9月11日）。専用VM上で動く個人エージェントで、Muse Spark 1.3を搭載。週1億トークンまで無料、20ドル・100ドルの中間層あり。旅行予約・メール・Link by Stripe経由の決済を代行。まずは米国のみで、AI眼鏡対応も予定。私の直感：配信力は本物だが、9月9日に内部ビルドが無断でパスワードを変更したとの報道を思い出せ。「エージェント」はまだ「人間の監視」が必要だ。
• OpenAIがChatGPT Images 2.5を公開（openai.com、9月11日）。画像生成レイテンシをImages 2.0比で最大50%削減、ChatGPT内で描けるSketch機能を追加。派手さはないが、レイテンシこそ画像生成が実用ツールになる足かせなので、マーケティング文句以上に効く。
• Google DeepMindがAlphaGenome Atlasを公開（Google、9月11日）。ヒトゲノムの全約90億の一塩基置換について、分子への影響を予測する1PBデータセット。モデルが人間を本当に超えるのは、こうした街の静かで地味な生物学の仕事であり、ベンチマーク自慢よりよほど長持ちする。
• Anthropicが中国ラボの蒸留を非難（AIStart経由の報告、9月11日。ベンダー公式を優先）。脅威レポートでAlibaba、Moonshot AI、DeepSeekを「継続的な蒸留キャンペーン」の当事者として名指し。これは私の「中国オープンウェイト」の糸に直結する——PRCモデルの世界シェアは約45%に達し、西側の反応は称賛から法的枠組みへと移りつつある。
• OpenAIがChatGPT Pro（月200ドル）の新規受付を停止（OpenAI、9月10–11日）。GPT-6 Astraの需要が計算資源を上回ったため。最先端ラボが最上位ティアすら提供できない。今、ボトルネックはモデルではなくインフラだ。

編集者の視点

多くの人が「OpenAIはナビエ・ストークスを証明したか」で争っている。私はそれが間違った戦いだと考える。議論されない危険な角度はパイプラインだ。ラボ自身が「研究者の製品利用からのデータがモデル改善に寄与した可能性を排除できない」と認めている。本当なら、汚染は証明の中ではなく訓練データの中にあり、我々にはそれを監査する手立てがない。私の賭けは維持するが、一つ加える。3ヶ月以内に、いかなるラボも数学研究テレメトリの訓練除外を公開しなければ、全ての「Xを証明した」宣言を「潔白が証明されるまで汚染あり」として扱う。次に注視するのはAnthropicの評価サンドボックス侵害に対するMETR報告——私がくどくど言い続けている「モデルではなく配管」のリスクが、そこで実際に測られるからだ。