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

2026年6月2日、ロンドン数学会は「人工知能と数学に関するライデン宣言」を正式に発表した。この宣言は、2025年にライデンのローレンツセンターで開催されたワークショップと国際的な研究者グループとの協議を経て作成された。人工知能（AI）の急速な進歩、特に大規模言語モデルや自動定理証明システム（AlphaProofなど）の登場により、AIは数学研究のさまざまな側面に浸透しつつある。宣言は、この技術変革が数学研究の確立された慣行にどのような影響を与えるかを深く考察している。

宣言はまず、AIが数学でどのように活用されているかを概説する。その範囲は、証明の形式化、予想の生成、記号計算など多岐にわたる。しかし、自動生成結果の信頼性、学習済みプロプライエタリモデルによる成果の帰属、新しいツールが出版慣行や査読プロセスに与える影響、そして商業組織の役割といった重要な懸念事項が指摘されている。これらの問題は、数学研究の基盤を揺るがす可能性がある。

これらの課題に対処するため、宣言は異なるグループに向けた具体的な提言をまとめている。個々の研究者に対しては、研究におけるAIツールの使用を開示し、結果の正確性を確保する責任を負い、先行研究を適切に引用することを推奨する。専門機関や資金提供者に対しては、出版と査読におけるAI使用に関するポリシーを策定し、既存の精査基準を維持するよう提案する。政策立案者に対しては、規制の枠組み、公共インフラへの投資、AIシステムの主張を評価するための専門家の助言の活用を促している。

宣言には、完全な文書およびロンドン数学会のAI出版ポリシーへのリンクが含まれている。この宣言は単なる政策提言ではなく、数学界がAIの波に直面して発する共同声明であり、今後の数学研究の生態系に深遠な影響を与えるだろう。最終更新日は2026年6月2日である。