OpenAI、AIでナビエ・ストークス問題を解いたと発表 研究者がデータ流用を疑問視

発表の概要

米OpenAIは、ブログで、液体や気体の流れを記述するナビエ・ストークス問題の解を、自社の内部AIモデルを使って発見したと発表しました。同社によると、この問題は数学界で約90年にわたり未解決の難問で、7つのミレニアム問題の一つに数えられています。今回の取り組みでは、公開中のGPT-6 Astraを上回る性能を持つ内部モデルを、1万個の並行エージェントと組み合わせて利用したとしています。同モデルの訓練は8月28日に始まり、数学を含む社内ベンチマークで前例のない性能を示したと主張しています。ただし、この成果が正式に正しいと認められたわけではない点には注意が必要です。

この発表は、数学という分野にAIが関わる時代の幕開けとして歓迎される一方、同時にあるトラブルも抱えています。OpenAIの発表の前日に、ニューヨーク大学の数学教授トリスタン・バックマスター氏と、AI企業アンソロピックに所属するレベント・アルポーエ氏が、この問題に関連する研究結果を公開していました。その直後の今回の発表について、「自分の研究データを利用されたのではないか」という疑念が示されたのです。

研究者の疑念

バックマスター氏は、自身らもナビエ・ストークス問題に近い証明ルートを模索しており、その過程でOpenAIのコード生成AI「Codex」と、アンソロピックのAIモデル「Claude」を利用していたと述べています。同氏によると、研究の草稿やメモはCodexのセッション内に保存されていたといいます。同氏は、OpenAIが同じルートで証明に到達していたことを知り、自身らのデータが学習や参照に使われた可能性を疑ったとしています。

バックマスター氏は、モデルがCodex内のセッションを訓練データとして学習したり、参照したりしたかを質問したと述べています。それは、ユーザーデータを見たことはないとの回答でしたが、改めて学習への利用について尋ねると、明確な答えは得られなかったということです。

OpenAIの反論

これに対してOpenAIはブログで、特定のユーザーデータにアクセスしてこの問題を解いた事実はないと否定しました。その一方で、可能性は低いとしつつも、同社製品の利用履歴から得た非識別化データがモデル改善に使われた可能性は否定できないと付け加えています。また、同社の技術スタッフであるセバスチャン・ブベック氏は、バックマスター氏らの研究は公開されるまで見ていなかったと説明しました。さらに、両者の証明は大きく異なり、証明された結果も異なるという見解を示しています。

バックマスター氏は、この反論にMastodon上で応じ、OpenAIは自分たちが結果を得た後の時期のデータを訓練に使用したと認めていると批判しました。また、OpenAIは今回の問題に対して設定された100万ドルの賞金を受け取らない意向を示しています。この賞金問題は、発表の信憑性そのものには影響しないものの、AIによる数学研究がどのように扱われるかを象徴しているとも言えます。

意義と残る論点

今回の発表は、未解決問題へのAIの適用が成功した例として、今後さらに注目される可能性があります。ただし、証明の正しさは数学コミュニティによる検証を経て初めて判断されるものであり、現時点ではまだその入り口に立ったと言えます。OpenAIは、今回用いた内部モデルの詳細や学習データの出所を公表しておらず、外部から検証できる情報は限られています。

あわせて、AIツールに入力したデータが、その後のモデル改良に使われる可能性をめぐる論点は、今回の事例で強い現実味を帯びました。研究や開発の初期段階では、コードや草稿をAIツールに保存しながら作業する場面は多いため、企業や開発者はデータ保護と利用範囲を意識する必要がありそうです。また、これらの指摘が事実かどうかは今後、より詳細な説明や開示によって明らかになるでしょう。