記事のサマリー（TL;DR）
- Fields Medal受賞者25人が公開書簡に署名し、AIラボが数学的証明の帰属・剽窃問題を引き起こしていると警告
- NYU教授 Tristan Buckmaster が、Anthropic勤務の共同研究者へのクレジット不記載をOpenAIに求められたと告発
- OpenAIはCalTechの数学イベントへのスポンサーを研究者からの批判を受けて撤退、証明の検証も未完了
AI主導の数学証明が学術界・研究倫理に投げかける問題
数学の世界で起きていることは、ソフトウェアエンジニアリングや他の知識集約分野がすでに直面している問題の先行事例として注目に値します。AIラボが数千万ドル規模の計算資源を投じてLLMに証明を生成させ、オリジナルの研究者を「出し抜く」構造が定着すると、研究者は成果を隠蔽するインセンティブを持つようになります。日本でも数学・理論物理・素材科学など基礎研究領域でAIツールの活用が進んでいますが、Codexのような外部ツールへの入力データが後続モデルの学習に流用されるリスクは、研究機関や大学が利用規約を精査すべき実務的な課題です。オープンリサーチの文化を守りながらAIツールを活用するためのガイドライン整備は、数学に限らず国内の学術・R&D部門全体で議論が必要な局面に入っています。
詳細
Fields Medal受賞者25人による公開書簡
著名な数学者25人が公開書簡に署名し、AIラボが有名な数学的難問の解決を競い合う中で、数学者の知的成果が脅かされていると主張しています。署名者全員がフィールズ賞（Fields Medal）を受賞しており、これは数学界で最も権威ある賞と見なされています。
書簡では次のように指摘されています。「こうした解が拙速に発表されることが多く、適切な論文執筆、新手法・新アイデアの抽出、先行研究の引用のための時間が確保されない」。OpenAIが公表した証明は現時点で未検証のままです。
「あらゆる創造的職業と同様、これは深刻な帰属（アトリビューション）と剽窃の問題を提起している。さらに、AIが生み出したアイデアは、その発展と数学的カノンへの統合を担う意欲ある数学者なしには決して完全に生きたものにならず、数学者間の重要な人間的伝達の連鎖が失われてしまう」とも述べられています。
NYU教授 Buckmaster の告発と OpenAI のスポンサー撤退
NYU教授 Tristan Buckmaster は今週、OpenAIがAnthropic勤務の共同研究者のクレジット記載を控えるよう圧力をかけたと告発しました。またBuckmasterは、OpenAIが彼らのCodex使用データを活用し、マラソン的な推論処理を経て独自の証明を生成したのではないかとも疑念を示しています。
木曜日（現地時間）には、OpenAIがCalTech（カリフォルニア工科大学）の数学イベントへのスポンサー提供を撤回しました。これは同大学の研究者からの批判を受けた対応です。
Codex データ流用への懸念とオープンリサーチ文化の危機
他の数学者の間でも、自分たちのCodex利用データがOpenAIの新モデルの学習に使われているのではないかという疑念が広がっており、オープンリサーチの文化が脅かされるという現実的な恐怖があります。
フロンティアラボが有望な発見の方向性を察知した場合、LLMを使って数千万ドルを投じ、元の研究者より先に証明を完成させることが可能になっています。このダイナミクスは、研究者が成果を秘匿するインセンティブを強化します。
Leiden Declaration との連続性
この書簡は、数学者のワーキンググループが6月に発表した「Leiden Declaration（ライデン宣言）」に続くものです。Leiden Declaration も、LLMによる証明が数学者の働き方を変える問題に正面から向き合い、数学者・研究機関・政策立案者向けの提言をまとめています。
「次はあなたの分野が標的になる」
公開書簡はより広い文脈の問題を指摘して締めくくっています。「数学コミュニティが今直面している問題は、他の科学的・創造的職業が直面している問題と同質であり、人類全体が直面しうる問題を示している。AIが仕事のあり方を変えていく中で、その仕事がそもそも何を達成しようとしていたのかを見失わないためにどうすればよいか——それが問われている」。
ソフトウェアエンジニアリングなどAIツールがワークフローを変えつつある分野と同様に、数学者たちは「作業の周辺にある価値」を再定義しようとしています。数学において価値があるのは証明そのものや誰がクレジットを得るかだけではなく、学生を育て、新たな問いやアイデアを見つけ、それらをより広い人間文明に統合する知的な上部構造にある——というのが彼らの主張です。