OpenAI 发布内部前沿模型产出的数学研究成果

分享数学领域的 AI 进展

收听文章 2:06

我们正在发布由内部前沿模型产生的一系列广泛的新数学成果。

在我们寻求改进与数学界分享成果的方式时，我们一直在与普林斯顿高等研究院的独立数学与人工智能咨询小组（在新窗口中打开）进行咨询，以制定最佳实践，我们借鉴了他们的建议和公开推荐（在新窗口中打开）来指导我们发布这些成果的方式。

对于本次发布，我们将成果发布在 GitHub 仓库中，并附有论文修订和引用的协议。我们正在继续探索符合委员会准则的其他社区托管替代方案。对于未来的发布，我们致力于通过引用、数学阐述和成果呈现方式进一步提高论文质量，以便更好地理解。

作为我们 GitHub 仓库的一部分，我们分享了用 Lean 编写的许多证明的形式化版本，Lean 是一种允许计算机检查数学证明的编程语言。随着我们获得更多形式化版本，我们将更新仓库。

为了促进科学透明度和开放性，我们还在仓库中发布了关于我们如何获得这些成果的更多细节。这些包括 10 份模型推理摘要、以 ChatGPT Pro 使用量计算的计算消耗估算，以及尝试问题数量的统计数据。平均每个结果使用了大约相当于三小时 ChatGPT Pro 思考的计算量。

我们希望这一进展能够推动人类知识的前沿，并使数学取得进一步进展。我们将资助一系列围绕理解 AI 产生的重大成果的研讨会、会议和特别项目——我们将在不久的将来分享更多信息。

我们希望直接以最先进的能力赋能科学家，并正在努力负责任地发布产生这些成果的模型。这就是为什么继续在数学和其他科学领域评估我们的内部前沿模型很重要，这样我们才能加速开发推动这些领域发展的工具。我们将继续根据社区的反馈采取行动，并更新我们对未来重大科学进展披露的标准。

OpenAI