国際数学連合

AIが作った証明をどう扱うか、数学研究者16人がルール整備を提言

数学研究とAI利用を巡る国際的な議論を受け、15大学に所属する数学研究者ら16人が6月2日、「Leiden Declaration on Artificial Intelligence and Mathematics（人工知能と数学に関するライデン宣言）」を公表した。宣言は、AIが生成する証明の信頼性や研究成果の帰属、査読・出版実務への影響に対応するよう求める内容で、国際数学連合（IMU）も支持し…