AIが作った証明をどう扱うか、数学研究者16人がルール整備を提言16人の研究者が公表した「人工知能と数学に関するライデン宣言」は、AIの証明の信頼性や研究成果の帰属、査読・出版実務、研究の自律性への影響に対応を求め、IMUも支持した。2026.06.17