人工知能と数学に関するライデン宣言

ライデン宣言は、数学コミュニティが主導し、国際数学連合（IMU）が承認した声明であり、人工知能（AI）が数学研究にもたらす課題に対処することを目的としています。記号的方法やニューラルネットワークを含む最近のAI技術は、数学の生成と形式化において急速に発展しており、数学の実践に変革をもたらしています。この宣言は、数学者に責任を行使し、学問の継続的な繁栄を確保するよう求め、個人、機関、政府、産業界への具体的な勧告を提供します。

宣言はまず、数学研究の核となる価値観を強調しています。証明は最高の確実性と理解をもたらすこと、成果は特定の著者に帰属しその正当性に責任を負うこと、数学的議論は透明で独立した検証が可能であること、そして数学者間での深さ、難易度、重要性に関する共通の評価基準を持つことです。これらの価値観は数学の科学的完全性と自律性を支え、数学を人間の実践として理解する上で不可欠です。

しかし、AIの発展はこれらの価値観を脅かしています。現在の自動化技術は、一見もっともらしいが信頼性に欠ける議論を生成し、正しい証明と区別が困難です。これは非形式的な議論だけでなく、形式化された証明にも当てはまり、コンピュータエンコードと人間の概念表現の間の変換に難しさがあります。これにより、現在の査読システムは大きな圧力を受け、証明の正確性、透明性、独立検証可能性に関する伝統的な基準を維持する能力が危険にさらされています。また、AIモデルはしばしば出典を適切に引用せず、伝統的な帰属システムを損なっており、多くのモデルはAIを想定していないライセンスやアクセス契約を体系的に悪用したり、著作権を単に侵害して得たデータに基づいて構築されています。

AIは数学研究のインセンティブシステムも混乱させます。AIの使用自体が目的化し、採用、資金提供、評価のメカニズムを歪め、技術や関連する意思決定にアクセスできない研究者や、価値観を共有しない組織が管理する技術を使用したくない研究者にとって不利になります。さらに、テクノロジー企業の数学研究への関与が増加することで、専門家の判断よりも自動化に適した問題が優先されるリスクが高まり、自動化の過程で分野のより広範な理解が永久に失われる可能性があります。大学の予算が逼迫する中、この再編は研究者とテクノロジー企業との非対称な条件での協力を促進し、学問の自律性をさらに脅かしています。

これらの課題に対処するため、宣言は個々の数学者に以下の行動を勧告しています：AIツールの使用を透明に開示し、論文に「ツールと計算リソースの開示」セクションを含めること；査読を支援し、完全な引用と形式的証明を提供すること；オープンサイエンスの原則に従うこと；結果の正確性に対する人間の責任を保持すること；著作者の人間性を強調すること；適切な帰属に努めること；公の議論に参加し、AI手法の背景を説明すること；新興技術について情報を得ること；新しい貢献者を歓迎すること。宣言はまた、専門組織がこれを承認し、独自の価値観や優先事項に基づいて条項を追加することを奨励しています。これらの行動を通じて、数学者はAIの可能性を受け入れつつ、数学の核となる価値観を保護し、学問の未来を確保することができます。