要約
本日発表された「ライデン宣言」は、数学研究における人工知能（AI）の役割の増大について言及しています。この宣言は、2025年にライデンのローレンツセンターで行われたワークショップに基づいて、国際的な研究者グループとの協議を経て作成されました。
宣言では、AIシステムが数学においてどのように利用されているか、特に定理の形式化に関する方法が示されています。また、AIが数学研究の確立された慣行に与える影響への懸念も強調されています。特に、生成された結果の信頼性、専有モデルを用いた結果の帰属、そして新しいツールが出版慣行や査読に及ぼす影響についての問題が指摘されています。
さらに、宣言は様々なグループに向けた推奨事項を示しています。研究者にはAIツールの使用を開示すること、結果の正確性を確保する責任を持つこと、先行研究の適切な引用を行うことが求められています。専門機関や資金提供者には、出版や査読におけるAI利用に関するポリシーの策定が提案されており、政策立案者には規制や公共投資に関する問題が提起されています。
元記事: https://www.lms.ac.uk/news/leiden-declaration-on-ai-and-mathematics
公開日: Sun, 07 Jun 2026 18:36:36 +0000
この記事はAIアシスト編集により作成されています。
📰 元記事: 元記事を読む