- OpenAI 发布超过 370 项数学成果，激起审查讨论。
- Navier-Stokes 方程的解决引发更高期望，专家担忧。
- 普林斯顿高等研究院警告 AI 生成数学论证的风险。
- 数学家对 AI 结果的理解和验证能力表示质疑。
OpenAI 发布了超过 370 项新的数学结果，令数学家感到惊讶，并激起关于 AI 生成的作品如何进行审查以及谁有权进行审查的讨论。根据《卫报》的报道，该公司于周二公布的研究涵盖了代数、理论计算机科学和数学逻辑。《时代报》则将数字定为 377，报道指出 OpenAI 宣称已解决 377 道数学方程式，这些方程式多年来令专家困惑。此次发布旨在展示 OpenAI 一些最先进的 AI 模型所能达到的成果。
Navier-Stokes 方程的影响
Navier-Stokes 方程的解决引发了更高的期望。该发布随上个月 OpenAI 解决了 Navier-Stokes 方程而来，这是世界上最具挑战性的数学问题之一，对能破解此方程的人提供了 100 万美元的奖金，根据《卫报》的报道。这一成就引发了该领域领导者的担忧。他们表示，前沿实验室不应在无法为更广泛数学群体所使用的专有 AI 模型上测试最先进的数学问题。
专家对 AI 生成数学的担忧
普林斯顿的高等研究院是一个独立的数学专家团体，对此做出了回应，表示并不支持这一做法。该机构在一份声明中警告，AI 现在可以产生数学论证，而促使其产生的个体却无法理解、验证或承担责任。声明指出，人类对数学的理解“仍然至关重要”。该组织还提出了一个更广泛的问题：在这个新时代，研究人员如何建立一种模式，使人类对数学的理解成为负责任学术产出的组成部分？
为了回应群体的担忧，OpenAI 宣布将与该院合作，让“数学家在我们未来的发展中有发言权”。然而，该公司并未表示会停止在如此高级的问题上测试其 AI 模型。该领域的专家担心 OpenAI 未能对结果进行必要的审查。
谁应该获得荣誉？纽约大学的数学家 Tristan Buckmaster 在接受《纽约时报》采访时提出了另一个担忧。他表示，促使 AI 模型解决方程的数学家可能会提供帮助模型得出答案的信息。“可能会有一系列的结果，他们会采取某人的工作，然后将其完成。”Buckmaster 如是说，根据《卫报》的报道。
数学界的基本张力关系
这场辩论也变得更加反思。多伦多大学的数学研究生 Kai Shaikh 告诉《时代报》，人类有两种竞争的本性：一种是竞争的倾向，另一种是欣赏美的能力。“对我来说，这似乎是前者试图扼杀后者的情况。”Shaikh 表示。综合各方反应，这显示出数学领域正在挣扎于一种基本的张力关系。OpenAI 正在以惊人的数量发布研究结果，而数学家则在质疑这些结果是否能够被理解、验证并以传统学术工作的方式获得认可。
高等研究院尚未支持这一做法，而 OpenAI 也未明言将停止此行为。
AI 生成数学成果的挑战与责任
OpenAI 的最新发布引发了数学界对 AI 生成作品的审查问题。随着 AI 模型在解决复杂数学问题上取得进展，专家们对其结果的理解和验证能力提出了质疑。普林斯顿高等研究院的声明强调了人类对数学理解的重要性，并要求建立负责任的学术产出模式。这种对 AI 生成数学成果的讨论，反映了学术界在技术进步与传统学术标准之间的挣扎，未来的发展将需要更深入的合作与反思。