OpenAI 因宣布有争议的数学发现而面临强烈反对

数学家们指责人工智能实验室的归因不充分，因为其 Astra 模型声称可以以大约 2,000 美元的计算成本解决 10 个长期存在的问题。

OpenAI 于 8 月 1 日宣布，其新的 Astra 模型解决了数学和理论计算机科学领域长期存在的 10 个问题。数学界的反应很快，但并没有鼓掌。

著名研究人员指责该公司低估了之前的工作，未能正确归因现有的贡献，并夸大了人工智能生成结果的新颖性。

格洛丽亚 关闭应用——格洛丽娅财经持续关注。设置监视器并仅在发生重大变化时才收到反馈。设置监视器 →

索赔和反驳

据 OpenAI 称，Astra 模型解决了跨越高维球体堆积边界、非 sofic 群的建立、编码理论进步和算术电路复杂性等问题。该公司将这些领域定义为“至少十年来在主要成果上没有取得进展”的领域。

叶史瓦大学 (Yeshiva University) 数学家史蒂文·米勒 (Steven Miller) 和剑桥大学弗朗西斯科·福尼耶-法西奥 (Francesco Fournier-Facio) 是强烈反对的研究人员之一。他们的论点是：Astra 的结果建立在 OpenAI 忽视或代表性不足的先前工作之上。安德烈亚斯·汤姆 (Andreas Thom) 和米勒本人早在 2016 年就发表了相关研究，这些研究直接了解了阿斯特拉现在声称已经征服的领域。

据报道，所有 10 个结果的总计算成本约为 2,000 美元的代币使用量。

8 月 6 日，《科学美国人》发表了一份报告，将 OpenAI 对这些公告的处理定性为“研究不当行为”和抄袭。 OpenAI 随后修改了部分声明。

一种模式，而不是一个事件

这并不是 OpenAI 第一次遭遇数学主张的争议。早在 2025 年 10 月，前副总裁 Kevin Weil 就发帖表示，GPT-5 已经解决了与 Paul Erdős 猜想相关的问题。那条帖子被悄悄删除了。

然后到了 2026 年 5 月 20 日，OpenAI 声称其模型反驳了一个可追溯到 1946 年的猜想。该声明得到了包括 Noga Alon 和 Thomas Bloom 在内的受人尊敬的数学家的认可，使其具有真正的可信度。

为什么这在学术界之外很重要

2,000 美元的计算成本数字是上下文如何塑造意义的完美示例。单独来看，这是一个值得注意的数据点，表明前沿数学研究可能很快就会变得更加便宜。在上下文中，它提出了一个不同的问题：这 2,000 美元到底买了什么？如果 Astra 将数十年的人类工作整合成一个简洁的包，而不归功于人类，那么计算成本就不再是衡量人工智能能力的标准，而更多地衡量重新包装现有知识的成本。