数学界の最高権威とされる「フィールズ賞」を受賞した25人の著名な数学者が、アメリカのオープンAI（OpenAI）などのAI開発企業に対し、過度な開発競争が数学者の知的活動を脅かしていると警告する公開書簡を発表したことが明らかになりました。企業側が有名な数学の難問に対する解答を先を争って提示する中で、本来の研究のあり方が損なわれるという懸念が高まっているということです。
今週、ニューヨーク大学のトリスタン・バックマスター教授は、重要な数学の問題を解決した際、競合企業であるアンスロピック（Anthropic）に所属する共同研究者の功績を記載しないよう、オープンAIから圧力を受けたと主張しました。さらに同教授は、オープンAIが自社のAIモデル「Codex」を用いた研究データを無断で利用し、独自の画期的な証明を短期間で生成したのではないかという疑念を示しています。
また、カリフォルニア工科大学において、同大学の研究者から批判を受けたオープンAIが、数学関連イベントへのスポンサーシップを取り下げる事態も発生したということです。
AIモデルが世界的な数学の難問を解決する能力を持つことは、人類にとって有益な進歩となる可能性があります。しかし、書簡に署名した数学者たちは、AIによる解答が数学界や広く一般社会に理解され、共有されるプロセスを経て初めて価値を持つと指摘しています。
公開書簡では、「AIによる解答の多くは急いで発表されるため、適切な論文の執筆や新しい手法の検証、過去の研究の引用を行う時間が確保されていない」と批判しています。実際、オープンAIが提示した証明は現在も未検証のままとなっているということです。さらに、「他の創造的な職業と同様に、これは深刻な著作権の帰属や盗用の問題を引き起こす」と警鐘を鳴らしています。
書簡は続けて、「AIが考案したアイデアを数学の体系に組み込む人間の数学者がいなければ、数学者間の重要な知識の伝達が失われてしまう」としています。
数学界では、自分たちの研究データがAIの新しいモデルの学習に利用されているのではないかという疑心暗鬼が広がっており、オープンな研究文化が脅かされるという強い懸念が生じています。現在、最先端のAI開発企業は、大規模言語モデル（LLM）を利用して元の研究者よりも早く証明に到達するために、数千万ドル（数十億円規模）の資金を投じることが可能であり、これが研究の秘密主義を助長する要因になると指摘されています。
今回の公開書簡は、今年6月に数学者のワーキンググループが発表した「ライデン宣言」に続くものです。同宣言でも、AIによる証明が数学の研究にどのような変化をもたらすかが議論され、数学者や研究機関、政策立案者に向けた提言が行われています。
ソフトウェア工学など、AIツールが業務プロセスを変革している他の分野と同様に、数学者たちは証明そのものやその功績だけでなく、学生を育成し、新たな問いを見つけ、それらを人類の文明に統合していく「知的基盤」にこそ数学の価値があるとしています。
書簡は最後に、この問題が数学界にとどまらないと警告しています。「数学界が現在直面している問題は、他の科学分野や創造的な職業が直面している問題と同様であり、全人類が直面しうる課題を示している。AIが仕事のあり方を変える中で、その仕事が本来何を達成しようとしていたのかを見失わないようにする必要がある」と結んでいます。
