OpenAI、数学研究とAIの証明で「公開前の参照なし」を説明

OpenAIは、Levent Alpöge氏とTristan Buckmaster氏の数学研究を称えたうえで、自社の研究者とAIエージェントは、その成果が公開されるまでいかなる方法でも内容を見ていなかったと説明した。AIが数学の成果を生み出すとき、何を参照したのかは結果と同じくらい重要だ。今回の投稿は、その出自に線を引こうとするものだ。

「解くときのアクセス」と「モデル改善」を分ける

OpenAIによると、この問題を解くために特定のユーザーデータへアクセスした事実はない。一方で、同社製品の利用から得た匿名化済みデータがモデル改善に役立った可能性については、低いとしながらも否定し切っていない。

ここは丁寧に読み分けたい。投稿が明確に否定しているのは、問題を解く過程で特定ユーザーのデータを参照したことだ。モデルがそれ以前にどう改善されたかについては、可能性を完全には閉じていない。短い説明だが、断言できる範囲と残る不確実性を分けている。

証明と結果にも違いがある

OpenAIは、自社側の証明は両氏のものと大きく異なるとも述べた。さらにEuler caseでは、証明された厳密な結果自体も異なり、その違いを「forced」と「unforced」として示している。ただし、元投稿だけではこの二つの詳しい条件までは説明されていない。

使う側から見ると、重要なのは「同じ問題に取り組んだか」だけではない。どの情報へアクセスし、どんな前提で、どの結果を証明したのかを切り分ける必要がある。今回の投稿は新機能の発表ではなく、その比較に必要な境界をOpenAI自身が示したものとして受け取りたい。

参照したX投稿

OpenAI（@openai）の元投稿