"国際数学連合は、数学研究に対するテック業界の影響力増大に警鐘を鳴らす「ライデン宣言」を支持した。 宣言は、AIによる信頼性の低い証明の生成や、商業的利益が学術的価値を損なうリスクを指摘している。 透明性の確保、倫理的なパートナーシップ、人間主導の研究の保護を求めている。"