10月7日、テレンス・タオが「AHM Statement on OpenAI's October 6 Release of Mathematical Documents」と題した記事を公開した。数学者団体「Association for Human Mathematics（AHM）」が、OpenAIによる数学的文書の大量公開に抗議する声明を発表し、数学者コミュニティにOpenAIとの協力停止を呼びかけた経緯を紹介するものだ。
問題の発端は2026年10月6日にある。OpenAIは数学における著名な問題の解法を含むと称する文書ファイルを700件以上まとめてリポジトリ上で一斉公開した。さらに深刻なのは、OpenAIがその正当性の根拠として自ら設置した諮問グループを引き合いに出しながら、当の諮問グループが「フロンティアAI企業は内部モデルで高度な数学問題をテストすべきでない」と明記していた事実だ。自分たちの行動を正当化するために引用した組織の勧告を、同時に無視するという構図が、数学コミュニティの怒りに火をつけた。
AIが数学の未解決問題に挑む試みはここ数年で急速に注目を集めている。2024年以降、複数の主要AI企業がオリンピック数学やフィールズ賞級の問題への挑戦を発表し、GoogleのAlphaProofがIMO問題を解くなど、成果も報告されてきた。しかし今回の公開規模と手法は、これまでとは異質な反応を引き起こした。
AHMは「人間による数学研究の価値を守る」ことを掲げて活動する団体だ。同団体が翌7日付で発表した声明の核心は明快である。数学者コミュニティは、このような形でAIに数学の未解決問題を解かせることを求めていなかった、という一点だ。
OpenAIが引き合いに出した「Mathematics and Artificial Intelligence諮問グループ（Advisory Group）」は、AIと数学研究の関係を検討するために設置された専門家組織だ。しかし、その諮問グループ自身が当初の声明でフロンティアAI企業による高度な数学問題のテストに反対の立場を示していた。AHMはこの矛盾を正面から指摘する。
OpenAIは、諮問グループの立場の中心的前提を無視することで、科学研究の規範への全面的な無視を示した。これらの規範こそが、数学が信頼可能であり、倫理的に研究され、公共の利益に資することを保証するものだ。
— AHM Communications Working Group
声明の中でも鋭い一文がある。「700件以上のファイルを一度に公開することは、学術性の証明ではなく、権力の誇示である」。数学における「正しさ」は、コミュニティによる査読と相互検証によって担保されるものだ。AIが生成した大量文書を、個々の証明が精査されるプロセスを経ずに一方的に放出するスタイルは、その文化と根本的に相容れないとAHMは主張する。
声明はさらに、OpenAIが現在、盗用・著作権侵害・商標希薄化の疑いで複数の訴訟を抱えている最中に今回の公開が行われたことにも言及している。数学の論文や証明も著作物であり、AIの学習データや出力がどこまで既存の研究者の成果に依存しているかは、現在進行中の法的・倫理的議論の焦点のひとつだ。係争中のタイミングでの大量公開は、コミュニティの不信感をいっそう高める結果となった。なお、OpenAI側のこの公開に関する公式説明は本記事執筆時点では確認できていない。
声明の末尾でAHMは、数学者コミュニティに具体的な行動を呼びかけている。OpenAIとの共同作業を中止すること、そして人間の理解を中心に置く科学観へ立ち返ることだ。AHMの声明は同団体のステートメントページにも掲載されている。AIが数学研究にどう関与すべきかという問いに対し、研究者コミュニティ側が明確な「ノー」を突きつけた今回の声明は、AI企業と学術界の関係を考える上で一つの画期となりうる出来事だ。
詳細はAHM Statement on OpenAI's October 6 Release of Mathematical Documentsを参照していただきたい。
