AI 飞速进展，数学家发出警告
Hacker News 摘要原标题：Mathematicians issue warning as AI rapidly gains ground
16位数学领域专家共同发布了一份名为《莱顿人工智能与数学宣言》（Leiden Declaration on Artificial Intelligence and Mathematics）的公开信。这份长达11页的宣言既是警告也是行动指南，指出未经检查的自动化技术不仅威胁着数学的研究方式，也危及了这一学科的核心价值。
人工智能在数学领域的快速渗透
多年来，人工智能研究人员一直将数学作为训练模型的试验场。数学问题具有客观的评分标准和近乎无限的训练数据，因此，构建能够证明定理的人工智能模型被视为开发高性能推理系统的关键。
目前，人工智能已经不再局限于简单的技巧。2026年5月，OpenAI 报告称其最新的通用推理模型独立解决了一个已有80年历史的著名数学猜想。这一突破是人工智能推向学科前沿的最新案例。
数学价值观与商业逻辑的冲突
宣言强调，数学不仅仅是产生正确答案的机器。作者们认为，数学是一项深刻的人类事业，建立在创造力、理解力、协作以及对知识本身的追求之上。
哥伦比亚大学的迈克尔·哈里斯（Michael Harris）表示，科技行业按照商业逻辑行事，这与数学的价值观背道而驰。宣言指出，这种价值观的冲突可能导致以下后果：
• 学术系统压力：人工智能生成的论文可能会以低质量内容淹没同行评审系统。
• 贡献认定困难：在发现成果时，难以准确分配个人功劳。
• 不公平竞争：选择不依赖人工智能工具的研究人员可能会处于劣势。
• 伦理与安全风险：数学家的研究成果可能被用于训练军事或监控目的的人工智能系统。
国际关注与政策响应
该宣言得到了国际数学联盟（International Mathematical Union）的认可，目前已向全球个人和组织开放签署。下个月在费城举行的国际数学家大会将对该宣言进行深入讨论。
政府层面也开始对高级人工智能系统的发展表现出更浓厚的兴趣。例如，唐纳德·特朗普总统签署了一项行政命令，旨在要求联邦官员在最强大的模型公开发布前拥有提前访问权。此举是为了让政府机构能够针对人工智能可能带来的安全威胁做好准备。
报道背后的支持
该文章由 Celina Zhao 撰写，她是麻省理工学院理学写作硕士。这篇报道属于《科学》杂志推出的“人工智能在科学报道中”计划的一部分，该计划得到了 Ray Rothrock 及其家族的支持。文章最后还提到了一些相关的研究成果，如人工智能在扑克游戏等复杂博弈中超越人类的表现。
原文：https://www.science.org/content/article/mathematicians-issue-warning-ai-rapidly-gains-ground