概要
数学研究におけるAI利用の課題に対し、数学的証明の信頼性、著者の権利、そして人間の理解という核心的価値を維持するための指針と行動を呼びかける国際的な宣言。
詳細内容
2026年6月に発表された「AIと数学に関するライデン宣言」は、数学研究におけるAI技術の浸透がもたらす課題に対処するためのコミュニティ主導の声明です。国際数学連合（IMU）の支持を受け、ピーター・ショルツやテレンス・タオなどの著名な数学者が署名しています。
### 宣言の核心的価値
数学を単なる結果の蓄積ではなく、人間による「理解・明晰さ・判断」の営みと定義しています。AIが生成する「もっともらしいが誤った証明」や、査読制度への負荷、著作権を無視した学習データ利用、研究の自律性が技術企業に依存するリスクについて強い懸念を表明しています。
### 主な推奨事項
- **個人:** AIツールの使用開示、結果に対する人間としての最終責任の保持、積極的な出典の帰属。
- **組織:** ツール使用の開示基準の策定、著者が自身の著作物を学習データから除外できる（オプトアウト）権利の保護、独立した公的研究環境の支援。
- **政策立案者:** 業界の過剰な宣伝（ハイプ）に惑わされず、数学的知見に基づいた規制と公共インフラへの投資を行うこと。
本宣言は、数学がAIのトレーニング用データとして消費される現状に対し、数学コミュニティがその価値基準を自ら守り抜くための重要な一歩となっています。