随着行业不断扩张，数学家们警告人工智能对该职业构成的威胁
一句话看懂：2026年6月2日，国际数学联盟正式发布《莱顿人工智能与数学宣言》，由16位数学家经过八个月起草，已有数百位研究者签署。该宣言警告，科技公司利用AI模型介入数学研究，正在侵蚀学术的自主性、正确性和长期职业生态，尤其是OpenAI两周前声称其模型推翻了一个80年数学猜想的做法，成为最直接的导火索。
事件核心：发生了什么
《莱顿宣言》是在2025年9月荷兰莱顿大学会议基础上形成的正式文件，得到了颁发菲尔兹奖的国际数学联盟背书。宣言列出了五大忧虑：AI输出看似合理但不可靠的证明，正在污染学术文献并增加评审压力；AI训练数据常违反版权或授权协议；AI工具可能扭曲大学的招聘、资助和认可机制；科技公司通过新闻稿而非正式论文发布数学成果，避开同行评审；企业与大学合作中的不对称条款，正威胁数学研究的自治权。帝国理工学院数学家凯文·巴扎德在声明中指出，数学界应警觉科技公司突然对数学成果的兴趣——这些动作往往遵循市场逻辑而非学科价值。
为什么重要
这份宣言标志着数学学科对AI行业输出研发范式的首次系统性反制。当前，OpenAI、谷歌DeepMind等公司频繁将其大模型在数学推理上的突破当作产品宣传点，甚至跳过同行评议直接面向公众发布。宣言认为，这种操作“在市场的计时器上运行，抢在数学界经过验证的社区评估流程之前”完成叙事。如果放任，数学研究的优先级可能从人类好奇心驱动转向“AI友好的问题”导向，同时年轻学者被迫使用自己不认同价值观公司技术的风险也在上升。哥伦比亚大学数学家迈克尔·哈里斯直言，该宣言的目标是“从AI行业手中夺回关于数学价值与目标的话语权”。
对用户/开发者/创作者的影响
对于使用AI辅助计算或生成数学证明的开发者，这意味着应警惕模型输出的置信度：AI生成的推导可能看似正确但在关键步骤引入错误，而一旦论文或代码库采纳，错误会沿着依赖关系扩散。对于教育者或内容创作者，需要关注AI生成内容因缺乏正确引证导致的版权问题和学术诚信漏洞。对于高校和研究机构，宣言提供了评估与科技公司合作条款的框架——尤其是预算承压时，是否应优先选择开源模型以避免“价值观绑定”和工具锁定。普通用户则可能看到更多科技公司用“AI证明某定理”来营销产品，报告提醒这类新闻往往过度简化成果并低估前人工作。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
第一，OpenAI是否会针对宣言内容披露其模型破解决数学猜想所需的完整验证数据和实验细节，这将测试“公开可复现”标准的底线。第二，国际数学联盟是否计划推出AI辅助数学研究的伦理指南或作者署名规范，目前宣言已暗示需要这类框架。第三，其他学科如物理学、化学是否会产生类似宣言，从而影响科技公司在该领域的数据采集和合作模式。目前公开信息显示，宣言的数百位签署者中包括了多位菲尔兹奖得主，其后续行动值得观望。
