OpenAIと数学界の対立、AI研究への信頼問題に発展

導入

AIモデルが長年の難問に挑戦し始めたことは、科学にとって大きな可能性を持つ。一方で、最先端AI研究所が数学的成果を急いで発表する姿勢は、数学界との摩擦を生んでいる。フィールズ賞受賞者25人は公開書簡で、証明の検証、手法の整理、過去の研究への適切な引用に十分な時間が与えられていないと警告した。

議論は今週、具体的な対立へと発展した。ニューヨーク大学のトリスタン・バックマスター教授は、重要な数学問題の解決に関して、Anthropicに所属する共同研究者の名前を出さないようOpenAIから圧力を受けたと主張した。また、研究者がCodexを使って得た成果をOpenAIが利用し、数日間にわたる推論によって独自の画期的な証明を作ったのではないかとも疑問を呈した。その証明は、現時点で数学界による検証を受けていない。

主な論点

• 証明は発表だけでは成立しない。 数学的成果には、他の研究者による確認、詳細な記述、手法の説明が必要だ。発表が先行すれば、信頼性の判断や新手法の定着が難しくなる。
• 功績の帰属が複雑になる。 AIが探索に関わる場合、重要な着想を得た人、証明を完成させた人、モデルの役割をどう区別するのか、新しい基準が必要になる。
• 研究データの再利用が不安を生む。 Codexを使った研究がモデルの改良に取り込まれ、元の研究者よりAI研究所が先に成果を得る可能性を数学者たちは懸念している。
• 大学との関係にも影響が出ている。 カリフォルニア工科大学の研究者から批判を受けた後、OpenAIは同大学で開かれる数学イベントへの協賛を撤回した。

意味と影響

数学の価値は、最終的な証明や最初に名前を得た研究者だけにあるのではない。新しい概念、後続の問題、教育、そして世代を超えた知識の伝達が、数学という学問を形作っている。公開書簡の署名者たちは、数学者がAIの成果を検証し、説明し、発展させなければ、AIが生んだ着想は数学の体系に根付かないと指摘する。

さらに、研究のインセンティブも変わり得る。最先端研究所は大規模な計算資源を使い、元の研究チームより先に証明を発表できる。AIツールの利用が自分の研究方針を競争相手に渡すことになると考えれば、オープンな協力は秘密主義へ傾く可能性がある。

今回の書簡は、6月に数学者の作業部会が公表した「ライデン宣言」に続くものだ。必要なのは、数学者、研究機関、政策立案者がLLMを使った証明のルールを共同で整えることだろう。この問題は数学に限らず、ソフトウェア開発や科学、創造的職業にも共通する。AIが仕事を担えるかだけでなく、その仕事の責任、意味、知識の継承をどう守るかが問われている。

TechCrunch AI