NYU数学者がOpenAIの不正競争を告発
原題: OpenAI fought dirty on career-making math problem, says NYU mathematician
なぜ重要か
AI企業が数学界最難関問題に参入する中、研究情報の漏洩疑惑と先行競争の問題は、AI×学術研究における倫理規範の整備を業界全体に問いかける事例となる。
NYU数学教授Tristan BuckmasterとAnthropicの数学者Levent Alpögeは2026年9月8日、理論数学の重要未解決問題「Navier-Stokes存在と滑らかさ」に関する3つの証明を発表した。その際、自身らの研究進捗がOpenAIに漏洩し、OpenAIが同問題の完全な証明を主張する事態が生じたと告発した。OpenAI側のSebastian Bubeckはこれらの主張を「虚偽かつ扇動的」と否定している。
NYU数学教授Tristan BuckmasterとAnthropicの数学者Levent Alpögeは9月8日、CodexおよびClaudeのAIモデルを活用して取り組んでいた数学的証明3件を発表した。その中心には、Clay数学研究所が解決者に100万ドルの賞金を設けている「ミレニアム懸賞問題」の一つ「Navier-Stokes存在と滑らかさ」問題についての予備的知見が含まれている。
Navier-Stokes方程式は流体力学で広く使われているが、理論的な理解は不十分なままであり、解決は数理物理学に重大な前進をもたらすとされる。
Buckmasterは発表文の中で、研究を最終化している段階で「自分たちの進捗に関する情報がOpenAIに渡っていたことが判明した」と述べた。OpenAIに問い合わせたところ、同社はすでに中心問題の完全な証明を達成したと主張したという。しかし、研究開始時期や人間の関与度合いについて追加質問したところ、回答は曖昧になっていった。
Buckmasterによれば、最終的に「OpenAIのチーム全体が問題に取り組んでおり、膨大な量のコンピューティングリソースが使用された」こと、そして「最初のプロンプトが送信されたのは、自分たちの研究情報がOpenAIに届いた後の数日以内である」ことが認められたという。これはOpenAIが、Buckmasterらのアプローチが正しいと確信した後、圧倒的な計算資源を使って先に形式的証明へ到達しようとした可能性を示唆する。
OpenAIの数学研究部門を率いるSebastian Bubeckはこれらの主張を「虚偽かつ扇動的」と反論した。「私は学術的な規範に従って議論に参加しており、このような事態になったことは残念だ。私を知る者なら、学術基準が私にとって最も重要であることを知っているはずだ」とXへの投稿で述べ、近く詳細な声明を発表するとした。
Buckmasterは、自身らが採用した証明のアプローチが数学者の間では非常に希少なものであることから、OpenAIが同時期に同じ手法を選んだことに不審を感じていると説明した。