OpenAI称一个秘密AI模型在一次提示中解决了数百个数学问题——数学家们想要证据

OpenAI于周二在GitHub上发布了722篇数学手稿，所有这些手稿均由公司尚未发布的内部模型生成。OpenAI的一位发言人表示，几乎所有内容都来自于一个单一的提示，交给了一个单一的AI代理，尽管有些可能经过了多次尝试。

这是一个大胆的声明，可能在数学领域带来重大突破。但并不是每个人都对此表示赞同，或者相信这种炒作。 Myriad: Nvidia会涨到多高？点击进行预测。

“除非他们发布模型，让人们能够复制他们的结果，否则我认为你应该将关于用单一代理一次性解决问题的任何声明视为未经验证，”麻省理工学院的数学家安德鲁·萨瑟兰对《科学美国人》表示。“我们应该要求证据，”他说。

这些论文被分为372个“家族”，每个家族包含相关结果的主要定理及其伴随论证、后果或替代证明。因此，722是手稿的数量，而不是解决问题的数量。OpenAI表示，它向模型提出了大约4000个问题，并保留了它认为足够重要以供发布的输出。

根据OpenAI的数据，平均结果使用了大约三小时的ChatGPT Pro思考计算。上个月的Navier-Stokes声明看起来非常不同，有10000个协调代理工作了88小时。

OpenAI为10个结果发布了简化的推理摘要。也就是说，根据存储库中的形式化目录，722篇论文中只有162篇附带计算机检查的主要结果。这大约占整个集合的22%，已翻译为Lean，这是一种机械检查每个逻辑步骤的软件。

OpenAI自己表示，并非所有手稿都有Lean形式化，并且“某些未形式化的结果可能存在问题。”换句话说，他们发布的很多内容可能是错误的。

通过Lean的检查仅确认证明是根据Lean中所写的声明得出的。它并不能显示该声明是否与原始问题匹配，或结果是否是新的或重要的，这正是数学家们现在必须判断的部分。

这就是研究人员们表示怀疑的地方。

我试图阅读OpenAI证明的平面色数是>= 6。但这完全是不可思议的外星数学？

不知怎么的，模型发现任何K-着色<=>“弱可测”的K-着色，这似乎是凭空而来

1/2 pic.twitter.com/W13ScT3nel

--- Dmitry Rybin (@DmitryRybin1) 2026年10月7日

openai/math库已关闭问题功能，并从未接受过拉取请求。这令人失望。如果你发布722篇手稿并要求Lean形式化，你需要一个地方让人们提交它们。

我正在用Lean 4形式化OpenAI的Saxl猜想证明，反对...

--- Keith Adler (@keithadler) 2026年10月7日

“现在的情况是，AI可以在没有提示人类理解、验证或对其负责的情况下输出数学论证，”新泽西州普林斯顿的高等研究所在一份声明中表示。“我们相信人类对数学的理解仍然至关重要。在这个新时代，我们如何朝着一个新的范式努力，使人类对数学的理解成为负责任学术成果的一部分？”

然而，其他人，如阿比谢克·萨哈教授，则相当兴奋。“这是数学的一个重要日子，”他写道，但指出大多数问题属于“在现有程序内的卓越进展”或“惊人的突破”类别。

这意味着集合中的大多数问题是有趣的，但并不是不可能或改变游戏规则的，就像千年问题一样。这个位置仅保留给722个问题中的一个：准黎曼假设。

关于OpenAI今天发布的372个结果的一些进一步思考，跨越722篇手稿。

如果我将数学家证明和发布的定理根据其突破性性质进行分类，我会（非常粗略地）将它们分为四类：

A) 非突破性... https://t.co/BA10SxBlx7

--- Abhishek Saha (@ObhishekSaha) 2026年10月7日

此次发布也未能满足高等研究所于9月29日提出的建议：模型名称、提示、总结的思维链、所用时间和每个结果的计算成本。OpenAI发布了平均计算数据和10个推理摘要，但没有提示，并表示仍在努力负责任地发布模型。

多伦多大学的数学家丹尼尔·利特持相反观点，认为没有理由要求公司对这些数学问题的答案保密。

Anthropic上个月采取了不同的方式，发布了经过Lean检查的费马最后定理证明，公开发布了1300万行代码。这一证明形式化了安德鲁·怀尔斯在1995年发表的定理，而不是声称新的结果。

OpenAI表示，它将在获得Lean形式化后添加它们；目前，722篇手稿中有162篇有一个。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。