随着人工智能（AI）进入到各个领域，研究人员一直在思考这对各自的学科意味着什么，而数学家感受到的压力尤为强烈。他们看到AI变得极其聪明，且发展速度惊人。据《科学》报道，6月2日，16位数学家将这种不安转化为公开的求助与呼吁——发布了长达11页的《人工智能与数学莱顿宣言》。
《宣言》警告称，不受控制的自动化不仅会威胁到数学的实践方式，还危及这一学科所代表的意义。《宣言》提出了使用AI时应遵循的原则，即要支持而非削弱数学学科的发展。
多年来，AI研究人员一直将数学作为其模型的验证平台。从本质上讲，数学问题易于量化，并且提供了几乎无限的训练样本池，而构建能够证明定理的AI模型被普遍视为迈向更高效推理系统的重要一步。但AI已不再局限于解决简单的技巧性问题。上个月，OpenAI报告称，其最新的一款通用推理模型独立破解了一个已有80 年历史的著名猜想。而这只是一系列突破中最新的一项。这些突破正将AI推向数学领域的前沿。
然而，《宣言》指出，数学不仅仅是一种用于得出正确答案的工具，更是一项极具人文色彩的事业。它建立在创造力、理解力、协作精神及对知识的纯粹追求上。而这些价值观往往与推动AI发展的动机相冲突。
“科技行业遵循商业逻辑行事，这与数学的价值观背道而驰。”《宣言》合著者、美国哥伦比亚大学的Michael Harris说。
《宣言》警告称，AI的后果已开始显现。AI生成的论文可能充斥着低质量的内容，使同行评审系统不堪重负，还会使那些不愿依赖AI工具的研究人员处于不利境地。作者还对将数学家的研究成果用于训练军事和监控目的的AI系统表示伦理方面的担忧。
声明：转载此文是出于传递更多信息之目的。若有来源标注错误或侵犯了您的合法权益，请作者持权属证明与本网联系，我们将及时更正、删除，谢谢。
