我们发布了由内部前沿模型产生的多种新的数学结果。
在寻求改善与数学界分享结果的方式时，我们与高级研究院的数学与人工智能咨询小组（在新窗口中打开）进行了沟通，以制定最佳实践。我们参考了他们的建议以及公开建议（在新窗口中打开），从而确定如何发布这些结果。
对于此次发布，我们将在 GitHub 仓库中公布结果，并提供论文修改和引用相关的规范。我们将继续探索符合委员会指南的、由社区主导的替代方案。在未来的发布中，我们将通过引用、数学表述以及更清晰的结果呈现来进一步提升论文的质量，以助读者更好地理解。
作为我们的 GitHub 代码库的一部分，我们正在分享 Lean 语言中许多证明的正式化形式。Lean 是一种编程语言，允许由计算机验证数学证明。我们将在获得更多正式化形式后更新代码库。
为了促进科学领域的透明度与开放性，我们还在存储库中发布有关结果获取方式的更多细节。这些内容包括对模型推理过程的10种总结、关于 ChatGPT Pro 使用量下的计算耗时的估算，以及关于尝试次数统计的数据。平均结果所需的计算量相当于大约3小时使用 ChatGPT Pro 进行思考所消耗的计算资源。
我们希望这一进展能够推动人类知识的边界，并促进数学领域的进一步发展。我们将资助一系列研讨会、会议以及专项项目，以深入研究人工智能所取得的重要成果——我们会在不久的将来进一步介绍相关情况。
我们希望直接为科学家提供最先进的工具，并努力负责任地公开产生这些结果的模型。因此，继续对内部前沿模型在数学及其他科学领域进行评估非常重要，这样就能加快开发相关工具的进程。我们将根据社区反馈采取行动，并更新标准，以便未来能够更透明地披露重要的科学进展。