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

为了改进我们与数学界分享成果的方式，我们一直在与高等研究院数学与人工智能独立咨询组磋商，以制定最佳实践，并借鉴了他们的建议和公开推荐，来指导我们发布这些成果的方式。

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

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

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

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

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