解决未来国际数学联盟支持对科技行业影响的警告。数学家们在一份声明中警告，科技行业日益增长的影响力给数学研究带来了许多挑战。该声明的发布时间在公开AI公司宣传其一个人工智能模型已推翻一个80年历史的几何数学猜想后两周。该声明由16名研究人员组成的工作组在8个月内制定，会议于2025年9月在荷兰莱顿大学举行。最终的《莱登关于人工智能与数学的声明》于2026年6月2日公布，得到了国际数学联盟的支持——这是主办会议并监督数学界最具声望奖项（如菲尔兹奖）的国际非政府组织。伦敦帝国学院的数学家凯文·巴泽德在声明中表示：“数学家们应该发现科技公司突然对他们的工作感兴趣是相当引人注目的。”他说：“《莱登声明》是对当前正在发生的事情的深思熟虑的回应，因为人工智能继续在这一领域造成干扰。”《莱登声明》已吸引数百名签署支持者，警告最近的人工智能发展正在威胁数学研究的“特征价值”，且“往往以不成比例的方式影响学生和早期职业数学家，从而影响该学科的长期未来。”首先，它指出人工智能模型可以“产生看似合理但不可靠（甚至错误）的论证，这些论证很难与正确的数学证明区分开。”这样的发展使得审查员面临越来越大的压力，并且“危及我们实施传统正确性、透明性和独立可验证性标准的能力，”声明警告道。牛津大学计算机科学系主任莱斯利·安·戈德堡在声明中表示：“不准确的人工智能生成的草稿造价低廉，存在用错误的结果淹没文献的风险。”她说：“一旦发生这种情况，错误可能会在基于错误基础的新结果中传播。”其次，声明强调“以已发表作品为训练数据的模型常常会返回未能妥善引用其综合的人类作品的输出”，同时指出许多当前的人工智能模型是通过“利用许可证和访问安排”或“简单地违反版权保护”获得的数据进行训练的。第三，声明描述了人工智能的使用“可能成为为了自身的诱因，扰乱我们招聘、资金和认可的机制”，而排除没有获得访问权限或“不愿意使用其价值观不同的组织所控制的技术”的研究人员。第四，声明警告，数学研究“通过非正式渠道如新闻稿或博客文章进行传播，通常没有任何研究论文或其他必要的科学评估信息披露。”这样的传播策略可能导致媒体报道中的“过分简化”，在强调人工智能工具的重要性的同时忽视了之前的人类贡献，并且“误导性地使用特定的数学任务作为商业产品一般推理能力的指标。”第五，声明将“技术公司在数学研究中的日益参与”描述为威胁“数学的自主性”，特别是在大学预算受到压力的情况下，研究人员可能感到更大的专业激励与技术公司在“非对称条款”下合作。这也提高了优先考虑适合由人工智能驱动的技术的问题的风险。OpenAI的例子莱登声明的许多警告似乎特别与OpenAI在新闻出版物报道公司准备向公众提供股票的同一天宣布其模型的数学成就相关。声明明确指出，企业新闻稿强调人工智能数学成就的运营在于“市场时间表之前，数学社区评估的公认过程尚未展开。”哥伦比亚大学的数学家、声明的作者迈克尔·哈里斯在《纽约时报》的采访中表示：“科技行业遵循商业逻辑，这与数学的价值观是对立的。”他还谈到声明试图“从人工智能行业恢复对数学价值观和目标叙事的控制。”OpenAI上传了一篇描述其人工智能模型数学证明的研究论文，并附上了独立数学家的评论。但该公司并未披露关于提示、人工智能训练数据的相关信息。