OpenAIと数学者の確執は激化する一方

25名の主要な数学者が、有名な数学の問題の解決策で互いに競い合う中で、AI研究所が自分たちの知的活動を脅かしていると主張する公開書簡に署名しました。署名者はいずれも数学界で最も権威ある賞とされるフィールズ賞を受賞しています。

今週、NYU教授のTristan Buckmasterは、OpenAIが重要な数学の問題を解決したAnthropicに勤務する共同研究者の名前を出さないよう自分に圧力をかけたと非難し、同社がCodexを用いた彼らの研究を利用して、週末のマラソン的な推論によって自社の画期的な証明を生み出したのではないかと疑問を呈しました。

木曜日、OpenAIはカリフォルニア工科大学（CalTech）の研究者らから批判を受けた後、同大学での数学イベントのスポンサーシップを撤回しました。

AIモデルが世界の未解決の数学的課題を解決する能力は人類にとって恩恵となり得ますが、新しい書簡の署名者たちは、それらの解決策が数学コミュニティ、そして最終的には世界の他の人々によって理解され、伝えられる場合にのみ、その恩恵が実現すると主張しています。

「多くの場合、これらの解決策は急いで発表されるため、適切な記述、新しい手法やアイデアの抽出、関連する他者の先行研究の引用を行う時間がありません」と彼らは記しており、OpenAIの証明は未検証のままです。「すべての創造的な職業と同様に、これは深刻な帰属と盗作の問題を引き起こします。さらに、その発展と数学的規範への統合を担う意欲的な数学者がいなければ、AIが考え出したアイデアが完全に息を吹き返すことはなく、数学者間の重要な人間的伝達の鎖は失われてしまうでしょう。」

他の数学者たちが、自分たちのCodexの使用が逆にOpenAIの新しいモデルに取り込まれたのではないかと疑心暗鬼になる中、オープンな研究文化が脅かされるという現実的な懸念があります。今日、最先端の研究所が発見への有用な道筋を見つければ、LLMsを使用して数千万ドルを費やし、元の研究者よりも早く証明を完成させることができます。これは秘密保持を助長する力学です。

この書簡は、6月に数学者のワーキンググループによって発表されたLeiden Declarationに続くものです。その文書もまた、LLMによる証明が自分たちの仕事をどのように変えるかという問題に取り組み、数学者、機関、そして政策立案者に対する一連の勧告を提示しています。

ソフトウェアエンジニアリングやAIツールがワークフローを変えている他の分野と同様に、数学者たちは仕事の周辺にある活動にその意義を見出しています。数学の価値は、単なる証明や誰が功績を認められるかだけでなく、学生を育成し、新しい問いやアイデアを見つけ出し、それらをより広い人間文明に統合する知的上部構造にあるのです。

そして、もしあなたがハイリスクな数学的証明の熾烈な世界に特に興味がなくても、忘れないでください。あなたの関心分野が次なのです。

「数学コミュニティが今直面している問題は、他の科学的・創造的な職業が直面している問題と似ており、全人類が直面する可能性のある問題を示唆しています。それは、AIが仕事の進め方を変える中で、その仕事がそもそも何を達成するためのものだったかを見失わないようにする方法です」と彼らは記しています。