フィールズ賞受賞者25人が公開書簡、AI研究機関の証明手法に懸念

何が発表されたのか

数学の分野で最も権威があるとされるフィールズ賞の受賞者25人が公開書簡に署名し、AI研究所が有名な数学の問題の解法を競うなかで、数学者の知的成果が脅かされていると主張した。書簡は、AIが世界の難問を解くこと自体は人類の利益になり得るが、それは解法が数学コミュニティに理解され、伝達されてこそ成り立つとしている。

署名者たちは、解法が急いで発表されるため、十分な論文にまとめる時間も、新しい手法や着想を切り出す時間も、他者の先行研究を引用する余裕もないと指摘する。その結果、帰属や盗用をめぐる深刻な疑問が生じるとしている。記事によれば、OpenAIが示した証明はまだ検証されていない。

OpenAIをめぐる動き

今週、ニューヨーク大学（NYU）のTristan Buckmaster教授は、OpenAIが、重要な数学の問題を解いたAnthropic勤務の共同研究者にクレジットを与えないよう自分に圧力をかけたと非難した。同教授はさらに、Codexを使った作業が、週末を通した長時間の推論によるOpenAI自身の画期的な証明の生成に使われたのではないかとも疑問視している。

同じく今週、OpenAIはCalTechで開かれる数学関連イベントのスポンサーを取り下げた。記事では、大学の研究者から批判を受けたことがきっかけとされている。書簡に署名した数学者たちの懸念と、こうした個別のやり取りが重なり、対立が広がっている状況だ。

背景にあるライデン宣言

今回の書簡は、6月に数学者のワーキンググループが公表した「ライデン宣言」に続くものだと記事は位置づけている。ライデン宣言も、LLM（大規模言語モデル）による証明が数学者の仕事をどう変えるかを論じ、数学者・研究機関・政策立案者向けの提言をまとめている。

記事は、フロンティアのAI研究所が有用な発見の道筋を見つけた場合、LLMを使って数千万ドルを投じ、元の研究者より先に証明へたどり着けると指摘する。そうなれば研究者は秘密主義に傾き、オープンな研究文化が損なわれる恐れがあるという。

数学の価値は証明そのものや誰が功績を得るかだけでなく、学生を育て、新しい問いや着想を見つけ、人類の文明に組み込んでいく知的基盤にあると、署名者たちは主張している。

現時点で不明な点

OpenAIの証明が具体的にどの問題を扱い、どの程度検証が進んでいるのかは、記事からは分からない。Buckmaster教授の主張に対してOpenAIがどのような反応を示しているかについても記述がない。

記事は、自身のCodex利用がOpenAIの新しいモデルに取り込まれたのではないかと疑い始める数学者が出てきていると伝える。ただし、その実態が確認されたかどうかは示されていない。記事は、こうした状況が数学に限らず、読者の関心のある分野にも次に及ぶと述べている。