# Leiden Declaration on Artificial Intelligence and Mathematics 数学研究における生成AI活用の急速な拡大に対して、数学の専門的価値を守りながらAIとの関係を構築するよう促す国際的なコミュニティ宣言。2026年6月2日発行(DOI: 10.5281/zenodo.20302944)、[[International Mathematical Union]](IMU)副会長 [[Ulrike Tillmann]] による公式承認を伴い、3,165名以上が署名した。オーガナイザーは [[Jim Portegies]](Eindhoven University of Technology)。 ## 成立の背景 2025年9月、[[Lorentz Center]](オランダ・ライデン大学)主催の「機械化と数学研究(Mechanisation and Mathematical Research)」会議に、数学者・計算機科学者・哲学者・歴史家・社会科学者を含む10ヶ国から約60名が参加した。本宣言は会議終了後8ヶ月の議論を経て策定された。(Source: [[Jim Portegies]]) ## 数学の中核的価値(5項目) 1. 証明を通じた確実性と理解の追求 2. 著者への帰属と責任の明確化 3. 数学的議論の透明性と独立検証可能性 4. 共有される評価基準の維持 5. 研究の自律的方向付けと専門知識の継承 ## AIがもたらす主要な脅威(5項目) 1. **証明の信頼性低下**: 現在の自動化技術は、正しい数学的証明と区別しがたい、信頼性の低い議論を生成する可能性がある。 2. **帰属システムの崩壊**: 学習済みモデルが出典を適切に引用しない。 3. **インセンティブの歪み**: 「AI対応可能性」による研究方向の偏り。 4. **査読プロセスへの圧力**: プレスリリースやブログでの非公式発表が査読前に行われる傾向の強まり。 5. **研究の自律性への脅威**: 技術企業による研究優先順位決定への影響力増大。 ## 推奨事項 ### 個別数学者へ(9項目) ツール使用の透明な開示、レビュー支援(正確な引用・形式的証明の提供)、オープンサイエンス原則の遵守、正確さの責任維持、著者性の人間性確認、適切な帰属への努力、公開言説への参加、新技術の情報習得、新規参入者の歓迎。 ### 数学組織へ(8項目) 技術専門知識の構築と戦略的計画、出版・査読政策のリーダーシップ、厳密性基準の維持、著者権保護、査読付き出版の継続要求、公開研究ラボの支援、産業協力枠組みの提供、価値観に沿った資金配分。 ### 政策立案者へ(4項目) 著者権の強化、商業的誇大宣伝への懐疑、AI産業の規制、公開計算インフラへの投資。 ### 商用AI企業へ 数学コミュニティは学術・公開政策立案における立場を有するが、企業の意思決定には学術界と同等の影響力を持たない、という非対称性を明示した上で、以下を要求する。 - 宣言の基準の遵守 - 従業員の言論の自由の尊重 - 軍事利用や監視技術への関与回避 ## 主要な署名者・支持コメント(抜粋) - **[[Peter Scholze]]**(マックスプランク数学研究所所長): 「数学は人間の数学者のコミュニティにおいてのみ栄える」 - **[[Terence Tao]]**(UCLA教授): 数ヶ月にわたるコミュニティの意見集約を経た結果を全面支持 - **Robbert Dijkgraaf**(アムステルダム大学): 明確なガイドラインと共有基準の確立の重要性を強調 - **Kevin Buzzard**(インペリアル・カレッジ・ロンドン): 科学技術企業の数学への関心増大に対する適切な対応と評価の必要性を指摘 ## 出典 - Leiden Declaration on Artificial Intelligence and Mathematics, https://leidendeclaration.ai/ (取得日: 2026-07-27, 発行日: 2026-06-02, DOI: 10.5281/zenodo.20302944)