数学家警告人工智能对行业的威胁
一句话看懂：2026年6月2日，国际数学联盟发布《莱顿宣言》，警告AI正在通过生成不可靠的证明、弱化署名制度、转移学术激励等方式威胁数学研究的核心价值，并呼吁学界、政策制定者与科技公司重新审视AI在数学中的角色。
事件核心：发生了什么
由国际数学联盟认可、数百名数学家签署的《莱顿宣言》正式公开，直指AI发展对数学研究的五个关键威胁：一是AI模型能生成“看起来合理但不可信甚至错误”的数学证明，且这些证明难以与正确证明区分，加剧审稿压力；二是模型训练常未恰当引用人类作者，甚至违反版权或许可协议；三是AI的使用可能因激励错位而扰乱学术界的招聘、资助与评审机制，对缺乏计算资源或不愿使用特定技术（如闭源大模型）的研究者构成排斥；四是数学研究成果通过新闻稿、博客等非正式渠道传播，导致媒体报道过度简化、夸大AI工具的能力；五是科技公司对数学研究的介入日益加深，可能以不对等合作条件扭曲研究优先级，使“适合AI处理的问题”优先于更有学科价值的问题。
为什么重要
这不仅是学术界的内部警惕，更是对AI产业权力结构的一次公开质疑。当前，OpenAI、Google DeepMind等公司在数学推理（如自动定理证明、数学竞赛解题）上频繁发布成果，宣称AI具备“接近人类数学家”的能力。《莱顿宣言》指出，这些公司有强烈的商业动机高估AI能力，并且训练数据来自“利用许可和访问安排甚至直接侵犯版权”获取的内容。如果学界不建立规范的AI使用和归因标准，数学文献可能被大量似是而非的AI结果污染，后续研究建立在不可靠基础上，形成错误扩散链。对AI行业而言，这份宣言意味着学术界可能对闭源大模型产生信任危机，进而影响大模型在科学领域的应用合作模式。
对用户/开发者/创作者的影响
对依赖AI工具进行数学证明、论文辅助或学术写作的用户和开发者而言，需要更警惕输出的可靠性。目前，大语言模型在数学推理上的能力仍在提升，但距离可信的证明自动生成仍有显著差距。《莱顿宣言》特别强调，AI应被视为工具而非人类责任的替代品，研究者应主动披露AI使用情况并对内容负责。这提示开发者：在构建AI辅助数学研究工具时，必须加入可验证性与可追溯性设计，例如引用源、错误标注、人类审核环节。对企业来说，如果在科学领域推广AI产品却不解决归因和版权问题，可能面临学术界集体抵制或政策监管收紧。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
第一，相关政策法规是否跟进：宣言呼吁政策制定者“保护作者权利、监管AI产业、投资公共算力基础设施”，这或将为欧洲、中国等地的AI监管思路提供学术界的清晰论据。第二，学术出版与期刊是否会出台强制性的AI使用披露规定：宣言鼓励专业协会制定指导方针，若主要数学期刊要求作者必须声明是否使用AI生成证明，将直接影响大模型在学术写作场景中的落地速度。第三，科技公司如何回应：目前谷歌、微软等公司已发布在数学推理上的大模型成果，学界这一公开抵制姿态可能促使它们调整数据获取方式或在合作条款上做出让步，否则或将面临合作项目被叫停的风险。
来源：Slashdot
