人工智能深刻地改变了技术、教育、娱乐和日常生活的许多方面。现在轮到数学了。
据 OpenAI 等公司称，他们内部开发的大型语言模型正在解决数量空前的长期存在的数学问题，其目标是“突破人类知识的界限。”
但人工智能模型似乎无法做到一件事：用世界上最聪明的数学头脑来阅读房间。
本星期， Open AI 已发布 700 多个数学原型 或主要研究论文， 在 github 上。此举激怒了数学学术界，直到上个月获得 28 枚菲尔兹奖之前，数学界一直处于紧张状态。 创建一个名为 Math and AI 的网站并发表一封公开信 他指责人工智能公司的目标与数学家的目标“强烈冲突”。
菲尔兹奖每四年颁发一次（通常颁发给三到四位数学家），被广泛认为是数学界的诺贝尔奖。签署该网站公告的获奖者之一、哈佛大学的 Curtis McMullen 教授在一封电子邮件中告诉 CNET，人工智能公司没有与数学专家协调，也没有以实际上可以造福社会的方式使用人工智能模型。
麦克马伦说：“数学工作是由前沿人工智能公司完成的，而忽略了对我们社会及其学术生态系统的深刻破坏。” “它的目标似乎是不惜一切代价提高这些公司的估值。”
“我们几乎什么都不能说。”
在创建数学和人工智能网站以及 OpenAI 存储库之前的几个月里，人们对人工智能对数学研究产生的巨大影响越来越感兴趣。鉴于这些模型主要接受书面语言训练并且缺乏对基本事实的理解，因此一些模型最初接受了书面语言训练 他的数学能力太差了 他们可能经常会放错小数点，或者只是对数学问题产生错误的幻觉。
但是，与人工智能进步的其他领域一样，模型以惊人的速度发展，从所谓的 数学忽略了魔术师甚至有人建议 他们还有很长的路要走 在真正的数学专家被取代之前。
然而，那些毕生致力于数学研究的人不仅仅关心自己的工作保障。他们对人工智能模型和公司如何处理数学存在根本性问题，包括如何实现这些结果缺乏透明度，以及缺乏对为什么这些数学问题很重要的理解。这是 OpenAI 自发布以来尚未解决的问题， 据《科学美国人》杂志报道，入行仅一个月就在“已然震惊”领域积累 纳维-斯托克斯方程的解一道数学题太难了，她悬赏 100 万美元。
OpenAI 发言人没有立即回应置评请求。
麦克马伦在给 CNET 的电子邮件中承认，人工智能作为数学研究工具的潜力是“不可否认的”。但他表示，到目前为止，这项研究尚未透明地进行，也没有与科学家合作。 “特别是，用于实现这些结果的模型应该共享
“与理解并提出正在调查的猜想或问题的科学家一起，”麦克马伦说。
OpenAI 是这么说的 成立顾问小组 它是在高级研究所主办的，但没有详细说明它将如何运作，也没有详细说明是否会分享其更先进的模型，称这只是“第一步”。
并不是所有人都对人工智能给数学界带来的颠覆感到不安。例如， 莱文特·阿尔布格一位在另一家领先的人工智能公司 Anthropic 工作的数学家向 OpenAI 的团队表示祝贺， 在 X 上发帖，“有一些关于其用户被抢占的悲伤故事……我们今天应该把它放在一边。这显然是数学史上最重要的时刻。”
但 GitHub 的衰落让许多数学家感到不安，并且没有足够的信息来说明这些新问题中有多少已经得到解决。加里·马库斯 (Gary Marcus)，认知科学家、纽约大学名誉教授， 写在子栈上 该出版物“永远不会通过同行评审。我们不知道程序是什么……从最初的报告来看，我们几乎什么也说不出来。”
麦克马伦说，集体解决问题，特别是在没有背景的情况下，错过了这项研究的更深层次的目的。 “数学不是一盘棋，”他说。 “它的主要目标是促进人类对抽象结构的理解。事实上，正是这种理解的广度和多样性支撑了技术进步。”
讽刺的是，这一进步包括吸收了大量人类知识的人工智能模型。他们的数学证明是否会促进人类的理解或仅仅制造人为的混乱还有待观察。
